for X, Y being set
for x being object st x in X /\ Y holds
In (x,X) = In (x,Y)