An Algebraic Structure that has less Axioms than a Monoid and a Group because it doesn’t require an Inverse or an Identity Axioms Closure: Associativity: