for z being object
for X, Y being set st z in [:X,Y:] holds
( z `1 in X & z `2 in Y )