for x, y being object
for X being set st [x,y] in X holds
x in union (union X)