Let $n, m \in \mathbb{N}$ each be a D996: Natural number.
The binomial coefficient with respect to $(n, m)$ is the D996: Natural number
\begin{equation}
\binom{n}{m}
: = |\mathcal{P}_m \{ 1, \ldots, n \}|
\end{equation}
| ▼ | Set of symbols |
| ▼ | Alphabet |
| ▼ | Deduction system |
| ▼ | Theory |
| ▼ | Zermelo-Fraenkel set theory |
| ▼ | Set |
| ▼ | Subset |
| ▼ | N-subset |
| ▼ | Set of N-subsets |
| ▶ | D4197: Central binomial coefficient |
| ▶ | C15: Singmaster's conjecture |