▼ 
Set of symbols

▼ 
Alphabet

▼ 
Deduction system

▼ 
Theory

▼ 
ZermeloFraenkel set theory

▼ 
Set

▼ 
Binary cartesian set product

▼ 
Binary relation

▼ 
Binary endorelation

▼ 
Preordering relation

▼ 
Partial ordering relation

▼ 
Ordering relation

▼ 
Ordered set

▼ 
Dedekind cut

▼ 
Set of real numbers

▼ 
Set of unsigned real numbers
