Non-Total Strict Partial Order Relation