Preference relation:
asymmetric /\ negative transitive