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. Function

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. Function

<No formulations for this definition yet>

Also known as

Real map