0. Set of symbols
1. Alphabet
2. Deduction system
3. Theory
4. Zermelo-Fraenkel set theory
5. Set
6. Binary cartesian set product
7. Binary relation
8. Map
9. Cartesian product
10. Complex cartesian product
11. Real cartesian product
Euclidean real Cartesian product
<No formulations for this definition yet>
Child definitions
» D372: Set of complex numbers
» D2577: Set of octonions
» D827: Set of quaternions