strict order

irreflexive transitive relation