• Relation REL
• Identity ID
• Classificaton of Binary Relations RELC
• Equivalence Relation EQV
• Inverse Relation INVR
• Composition COMP
• Restriction RST
• Image IM