English: In other words, if we have a binary constrain over X and Y, then every value of X should have a matching value in Y and this procedure revise is pruning this domain X domain of X.
Telugu: మరో మాటలో చెప్పాలంటే X మరియు Yపై బైనరీ కంస్ట్రయిన్(binary constrain) ఉంటే, X యొక్క ప్రతి విలువ Y మరియు ఇందులో సరిపోలే విలువను కలిగి ఉండాలి.