▼ 
Set of symbols

▼ 
Alphabet

▼ 
Deduction system

▼ 
Theory

▼ 
ZermeloFraenkel set theory

▼ 
Set

▼ 
Binary cartesian set product

▼ 
Binary relation

▼ 
Map

▼ 
Cartesian product

▼ 
Complex cartesian product

▼ 
Real cartesian product

▼ 
Euclidean real Cartesian product

▼ 
Set of complex numbers
