Sia "H" un sottogruppo di "G".
Ciò significa che "H" è un insieme di elementi che sono tutti elementi di "G". In altre parole, "H" è una sottoinsieme di "G". Questa relazione è rappresentata dalla notazione "H ⊆ G".