Since $X$ is finite, result R477: Set finiteness is hereditary guarantees that also $E$ is finite. Hence, this result is a particular case of R1846: Cardinality of set complement. $\square$