Order theory is a branch of
mathematics which investigates our 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". This article introduces the field and provides basic definitions. A list of order-theoretic terms can be found in the
order theory glossary.