for x, y being object holds
( {x,y} is trivial iff x = y )