PartialOrdLaws

For all values a1 and a2, if a1 is less than or equal to a2 and a2 is less than or equal to a1 then a1 is equal to a2.

For all values a1 and a2, if a1 is greater than or equal to a2 and a2 is greater than or equal to a1 then a1 is equal to a2.

For all values a1 and a2, iff a1 =??= a2 is Ordering.Equals then a1 === a2.

The set of all laws that instances of PartialOrd must satisfy.

For all values a1, a2, and a3, if a1 is less than a2 and a2 is less than a3 then a1 is less than a3.

For all values a1, a2, and a3, if a1 is greater than a2 and a2 is greater than a3 then a1 is greater than a3.