for x, y being object st x <> y holds
<%x,y%> is one-to-one