Orders
Orders are binary relations on a set X. Here are some following properties that are assigned to orders.
Antisymmetry
a≤bandb≤a⇒a=b
Transitivity
a≤bandb≤c⇒a≤c
Connexity
Either
a≤borb≤a
Reflexitivity
a≤a
Total Order, Simple Order, Linear Order, Connex Order, Full Order.
Find best way to do definitions