Non-Total Order Relation