Order theory is a field of mathematics. It concerns itself with being able to compare different elements of a set. Given a binary relation it is then possible to put all the elements of the set in a certain order. It is also possible to say that a certain element "comes before" another one, for that relation. Another way to say this is to say that one of the two is "smaller than" the other.