• Preorder PRO
• Total Preorder TPRO
• Partial Order PO
• Total Order TO
• Order Homomorphism OH
• Maximal and Minimal Element MAXL
• Greatest and Least Element GR
• Maximum and Minimum MAX
• Upper and Lower Bound BND
• Supremum and Infimum SUP
• Dedekind Completeness DDKC
• Well-Order WO
• Well-Founded Relation WF