for A being 2 -element set
for a, b being Element of A st a <> b holds
( not IntPrefSpace (A,a,b) is empty & IntPrefSpace (A,a,b) is preference-like )