Definition:Inverse Relation/Strict Ordering Notation