For all values a1
and a2
, a1
is less than or equal to a2
if and
only if a2
is greater than or equal to a1
.
For all values a1
and a2
, a1
is less than or equal to a2
or a2
is less than or equal to a1
.
For all values a1
and a2
, a1
is greater than or equal to a2
or
a2
is greater than or equal to a1
.
The set of all laws that instances of Ord
must satisfy.
The set of all laws that instances of Ord
must satisfy.