Let $X$ be a D17: Finite set.

Then \begin{equation} \# \{ E : E \subseteq X \} = 2^{|X|} \end{equation}