Let $X$ be a D17: Finite set such that

(i)	$\text{Part} X$ be the D2910: Set of proper set partitions for $X$

Then \begin{equation} |\text{Part} X| = \sum_{n = 0}^{|X|} {|X| \brace n} \end{equation}