for x being object
for X being set holds not [x,X] in X