Centralizer of Group Element is Subgroup

Theorem
Let $\left({G, \circ}\right)$ be a group and let $a \in G$.

Then $C_G \left({a}\right)$, the centralizer of $a$ in $G$, is a subgroup of $G$.