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: A,B∈G⟹AB∈G Associativity: A,B,C∈G⟹(AB)C=A(BC)