for x, y being set st x <> y holds
<*x,y*> |-- y = {}