for x being object
for X, Y being set st x in [:X,Y:] holds
x is pair