...
- For all
x
:x < x == false
(irreflexivity) - For all
x
,y
: ifx < y y
then!= (y < x)
(asymmetry) - For all
x
,y
,z
:x < y && y < z == x < z
(transitivity)
...
...
x
: x < x == false
(irreflexivity)x
, y
: if x < y y
then != (y < x)
(asymmetry)x
, y
, z
: x < y && y < z == x < z
(transitivity)...