# Abstract Algebra/Group Theory/Subgroup/Definition of a Subgroup

Let G be a group with binary operation $\ast$
3. shares $\ast$ with G