for x, y being object
for Z being set st {x,y} misses Z holds
not x in Z