Ein Untergruppe H ⊆ G {\displaystyle {}H\subseteq G} ist ein Normalteiler, wenn
für alle x ∈ G {\displaystyle {}x\in G} ist.