for X being Relation
for Y, Z being set st Z c= Y & Y \ Z is without_pairs holds
X \ Y = X \ Z