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

1. Alphabet

2. Deduction system

3. Theory

4. Zermelo-Fraenkel set theory

5. Set

6. Binary cartesian set product

7. Binary relation

8. Map

<No formulations for this definition yet>

Also known as

Number map

Child definitions