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}