@gerum, I was thinking of the Transitive specifically. So if a < b and b < c then a < c. However, If the criterion changes and inequality is introduced, its no longer only dependent on the < operator. That's what I was thinking at least.
a < b
b < c
a < c
<