Editing Glossary of order theory (section)

{{Short description|Glossary of terms used in branch of mathematics}}
{{wiktionary|Appendix:Glossary of order theory}}
This is a glossary of some terms used in various branches of [[mathematics]] that are related to the fields of [[Order theory|order]], [[Lattice (order)|lattice]], and [[domain theory]]. Note that there is a structured [[list of order topics]] available as well. Other helpful resources might be the following overview articles:

* [[Completeness (order theory)|completeness properties]] of partial orders
* [[Distributivity (order theory)|distributivity laws]] of order theory

In the following, partial orders will usually just be denoted by their carrier sets. As long as the intended meaning is clear from the context, <math>\,\leq\,</math> will suffice to denote the corresponding relational symbol, even without prior introduction. Furthermore, < will denote the [[strict order]] induced by <math>\,\leq.</math>
{{compact ToC|side=yes|top=yes|num=yes}}
__NOTOC__