(i) | \begin{equation} \{ \{ x \} : x \in X \} \subseteq Y \end{equation} |
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Transitive set |
▼ | Ordinal number |
▼ | Cardinal number |
▼ | Set cardinality |
▼ | Singleton set |
▼ | Set of singletons |
▶ | Canonical singleton map |