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}
| ▼ | Set of symbols |
| ▼ | Alphabet |
| ▼ | Deduction system |
| ▼ | Theory |
| ▼ | Zermelo-Fraenkel set theory |
| ▼ | Set |
| ▼ | Subset |
| ▼ | N-subset |
| ▶ | D2167: Binomial coefficient |