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

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

<No formulations for this definition yet>

Child definitions