| ▼ |
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
|
| ▼ |
Elementary euclidean real volume
|
| ▼ |
Elementary euclidean real volume function
|
