ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
N-subset
Set of N-subsets
Binomial coefficient
Definition D4197
Central binomial coefficient
Formulation 0
Let $n \in \mathbb{N}$ be a D996: Natural number.
The central binomial coefficient with respect to $n$ is the D996: Natural number \begin{equation} \binom{2 n}{n} = \left| \mathcal{P}_n \{ 1, \ldots, 2 n \} \right| \end{equation}
Formulation 1
Let $n \in \mathbb{N}$ be a D996: Natural number.
The central binomial coefficient with respect to $n$ is the D996: Natural number \begin{equation} \binom{2 n}{n} = \# \left\{ E \subseteq \{ 1, \ldots, 2 n \} : |E| = n \right\} \end{equation}