Order theory is a branch of mathematics that studies various ways of formalizing the intuitive notion of a mathematical ordering.