From The Art and Popular Culture Encyclopedia
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 gives some basic definitions. A list of order-theoretic terms can be found in the order theory glossary.