▼ |
Set of symbols
|
▼ |
Alphabet
|
▼ |
Deduction system
|
▼ |
Theory
|
▼ |
Zermelo-Fraenkel set theory
|
▼ |
Set
|
▼ |
Binary cartesian set product
|
▼ |
Binary relation
|
▼ |
Map
|
▼ |
Function
|
▼ |
Real collection function
|
▼ |
Euclidean real function
|
▼ |
Real function
|
▼ |
Rational function
|
▼ |
Integer function
|
▼ |
Natural number function
|
▼ |
Boolean function
|
▼ |
Indicator function
|