(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 |