There is only partial order.
a:
b:
Predicate
Deffinitely
Possibly
a = b
a < b
a > b
a ≠ b
a ≤ b
a ≥ b
←
→