Normal Subgroup

Definition

Let $H$ be a subgroup of $G$.
$H$ is a normal subgroup iff
$\forall g:G.g^{-1}Hg\subseteq H$