Order theory is a branch of mathematics that studies various kinds of binary relations that capture the intuitive notion of a mathematical ordering.