Binary operations as functions - Group Theory | Zoonk