ಆದ್ದರಿಂದ, ಅದು r ನಲ್ಲಿನ ಪ್ರತಿ ಬ್ಲಾಕ್ ಗೆ ಮತ್ತು s ನಲ್ಲಿನ ಪ್ರತಿ ಬ್ಲಾಕ್ ಗೆ, r ನಲ್ಲಿನ ಪ್ರತಿ ಟುಪಲ್ ಗೆ, ಮತ್ತು s ನಲ್ಲಿನ ಪ್ರತಿ ಟಪಲ್ ಗೆ, ಜಾಯಿನ್ ಪ್ರಿಡಿಕೇಟ್ಅನ್ನು ಮಾಡುತ್ತದೆ, ಮತ್ತು ಅದು r ಅನ್ನು ಪೂರ್ಣಗೊಳಿಸಿರುವುದರಿಂದ ಅದನ್ನು ಎಸೆಯುತ್ತದೆ.
కాబట్టి, ఇది r లోని ప్రతి బ్లాక్ కు మరియు s లోని ప్రతి బ్లాక్ కు, r లోని ప్రతి టపుల్ కు, ఆపై s లోని ప్రతి టపుల్ కు, అది జాయిన్ ప్రిడికేట్ చేస్తుంది మరియు తర్వాత, అది r ని విస్మరిస్తుంది. కనుక ఇది పూర్తయింది.