Definitions
,
Results
,
Conjectures
▾
Set of symbols
▾
Alphabet
▾
Deduction system
▾
Theory
▾
Zermelo-Fraenkel set theory
▾
Set
▾
Subset
▾
N-subset
Set of N-subsets
Formulation 0
Let $X$ be a
D11: Set
.
The
set of N-subsets
of $X$ with respect to $n \in \mathbb{N}$ is the
D11: Set
\begin{equation} \mathcal{P}_n(X) : = \{ E \subseteq X : |E| = n \} \end{equation}
Child definitions
»
D2167: Binomial coefficient