Define: binary operation
Define: group
Is the identity of a group always unique?
Cancellation
Are inverses in a group unique?
Socks-Shoes Property
Define: Abelian Group