▾ Set of symbols

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel 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

▾ Alphabet

▾ Deduction system

▾ Theory

▾ Zermelo-Fraenkel 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

<No formulations for this definition yet>

Child definitions

Results

» R4694: