| (1) | $X$ is a D11: Set |
| (2) | $\mathcal{S} \subseteq \mathcal{P}(X)$ (D3367: Subset algebra) |
| ▼ | Set of symbols |
| ▼ | Alphabet |
| ▼ | Deduction system |
| ▼ | Theory |
| ▼ | Zermelo-Fraenkel set theory |
| ▼ | Set |
| ▼ | Subset |
| ▼ | Power set |
| ▼ | Hyperpower set sequence |
| ▼ | Hyperpower set |
| ▼ | Hypersubset |
| ▼ | Subset algebra |
| (1) | $X$ is a D11: Set |
| (2) | $\mathcal{S} \subseteq \mathcal{P}(X)$ (D3367: Subset algebra) |
| ▶ | D1108: Measurable space |
| ▶ | D5638: Top subset structure of natural numbers |
| ▶ | D1106: Topological space |