Editing Order theory (section)

{{Short description|Branch of mathematics}}
{{Outline|Outline of order theory}}
{{Use American English|date = March 2019}}
{{More footnotes|date=December 2015}}
'''Order theory''' is a branch of [[mathematics]] that investigates the intuitive notion of order using [[binary relation]]s. 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]].