A strict weak order satisfies: 
asymmetric /\ negative transitive