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