A strict order satsifies: antisymmetric /\ weak order. commonly denoted with ">". From a strict order you can build a weak order and equivalence as follows: x~y <=> x!>y /\ y!>x x=>y <=> y!>x There is a theorem which states the above method works.