Order theory is a branch of mathematics that investigates the intuitive notion of order using binary relations. It provides a formal framework for describing statements such as "this is less than that" or "this precedes that".

Background and motivation

Orders are everywhere in mathematics and related fields like computer science. The first order often discussed in

3.Next