Corollary

Tag 055T, permanent. Cite it as [Bourbaki, Tag 055T].

Let $E$ be an associative magma. The centralizer of any subset of $E$ is a stable subset of $E$ .

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.