• Function F
• Classification of Binary Operations OPC
• Injection INJ
• Surjection SUR
• Bijection BIJ
• Inverse Function INVF
• Homomorphism HOM
• Involution INVO
• Antidistributive Function ADST