A subgroup $H$ of $G$ is normal iff for all $a,b \in G$, $ab \in H \iff ba \in H$.

forward implication: Let $ab \in H$: Since $H$ is normal, then also $a^{-1}aba=ba \in H$. (The other implication of the property follows by its symmetry in $a$ and $b$).