A subgroup $H$ of the group $G$ is normal if for any $g \in H$, the left and right cosets of $H$ are equal. That is, if $gH = Hg$ for all $g \in G$. This is denoted $H\triangleleft G$.
Wikidata ID: Q743179