Let $G$ be a group. A maximal subgroup of $G$ is proper a subgroup of $G$ that is not contained in any other proper subgroup of $G$.
Wikidata ID: Q16908484