# Subgroup

A subgroup is a subset of a mathematical group that is also a group.

Subgroup is a college-level concept that would be first encountered in an abstract algebra course covering group theory.

### Prerequisites

Group: | A mathematical group is a set of elements and a binary operation that together satisfy the four fundamental properties of closure, associativity, the identity property, and the inverse property. |

Subset: | A subset is a portion of a set. Subsets can also consist of the entire set or be empty. |