▼ |
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
|
▼ |
Maximal element
|