Centralizer of Group Element is Subgroup

Theorem
Let $\struct {G, \circ}$ be a group and let $a \in G$.

Then $\map {C_G} a$, the centralizer of $a$ in $G$, is a subgroup of $G$.