Glossary of order theory

Look up Appendix:Glossary of order theory in Wiktionary, the free dictionary.

This is a glossary of some terms used in various branches of <a href="/facts/Mathematics/pxTouaz4">mathematics</a> that are related to the fields of <a href="/facts/Order_theory/gn6fM3oJ">order</a>, <a href="/facts/Lattice_(order)/5ak6ufky">lattice</a>, and <a href="/facts/Domain_theory/G1wRMK2K">domain theory</a>. Note that there is a structured <a href="/facts/List_of_order_topics/R8mx58Qp">list of order topics</a> available as well. Other helpful resources might be the following overview articles:

<ul><li><a href="/facts/Completeness_(order_theory)/06m5lcIQ">completeness properties</a> of partial orders</li>
<li><a href="/facts/Distributivity_(order_theory)/0rvTWuVe">distributivity laws</a> of order theory</li></ul>
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, 
 
 
 
 
 ≤
 
 
 
 {\displaystyle \,\leq \,}
 
 will suffice to denote the corresponding relational symbol, even without prior introduction. Furthermore, < will denote the <a href="/facts/Strict_order/qb4a3FAX">strict order</a> induced by 
 
 
 
 
 ≤
 .
 
 
 {\displaystyle \,\leq .}

Glossary of order theory open-in-new

Glossary of order theory