Definition:Inverse Relation/Ordering Notation