for x, y being object
for X being set holds
( {x,y} \ X = {} iff ( x in X & y in X ) )