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