Trace Sigma-Algebra is Sigma-Algebra

Theorem
Let $X$ be a set, and let $\mathcal A$ be a $\sigma$-algebra on $X$.

Let $E \subseteq X$ be a subset of $X$.

Then the trace $\sigma$-algebra $\mathcal{A}_E$ is a $\sigma$-algebra.