A subgroup is a subset of a group that itself forms a group under the same operation as the original group. In mathematical group theory, a group is defined as a set equipped with a binary operation that satisfies four properties: closure, associativity, the existence of an identity element, and the existence of inverses.
