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

(i)	$N : = |X| \in \mathbb{N} = \{ 0, 1, 2, 3, \ldots \}$
(ii)	$X \times X$ is the D191: Binary cartesian set product of $X$ with itself
(iii)	$\mathcal{B} : = \{ R : R \subseteq X \times X \}$ is the D5348: Set of binary relations on $X$

Then \begin{equation} |\mathcal{B}| = 2^{N^2} \end{equation}