for x, y being object
for X being set holds {x,y} \/ X <> {} ;