for x, y, z being object
for Y being set holds
( [x,y] in [:{z},Y:] iff ( x = z & y in Y ) )