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