ThmDex – An index of mathematical definitions, results, and conjectures.

Let $N, M \in \mathbb{N}$ each be a D996: Natural number such that

(i)	\begin{equation} M \leq N \end{equation}
(ii)	$\mathcal{F} : = \{ 0, 1 \}^{\{ 1, \ldots, N \}}$ is the D4213: Set of Boolean functions from $\{ 1, \ldots, N \}$ to $\{ 0, 1 \}$
(iii)	\begin{equation} \mathcal{I}_M : \mathcal{P}_M \{ 1, \ldots, N \} \to \left\{ f \in \mathcal{F} : \sum_{n = 1}^N f(n) = M \right\}, \quad \mathcal{I}_M(E) = I_E \end{equation}