Atlas/Algebra/Algebraic structures and transformations
1/4
Start with a set and a binary operation. Demand associativity, a unit, and inverses.