ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
▼
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
▼
Partially ordered set
▼
Interval
▼
Set of intervals
▼
J-interval
▼
N-interval
▼
Real N-interval
▼
Set of euclidean real intervals
▼
Elementary euclidean real set
▼
Elementary euclidean real partition
Definition D3759
Elementary euclidean real volume
