for X being without_pairs set
for Y being Relation holds X \ Y = X