totality

OrderLaws

transitivity

PartialOrderLaws

transitivityEq

EqLaws