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