It removes those values from the domain of x which aren't consistent with the constraints between x and y.
Es werden jene Werte aus den Domänen von x und y entfernt, die nicht mit den Constraints zwischen x und y konsistent sind.