ThmDex – An index of mathematical definitions, results, and conjectures.
Set of symbols
Alphabet
Deduction system
Theory
Zermelo-Fraenkel set theory
Set
Subset
N-subset
Definition D2906
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}
Children
D2167: Binomial coefficient