▼ |
Set of symbols
|
▼ |
Alphabet
|
▼ |
Deduction system
|
▼ |
Theory
|
▼ |
Zermelo-Fraenkel set theory
|
▼ |
Set
|
▼ |
Binary cartesian set product
|
▼ |
Binary relation
|
▼ |
Map
|
▼ |
Operation
|
▼ |
N-operation
|
▼ |
Binary operation
|
▼ |
Enclosed binary operation
|
▼ |
Groupoid
|
▼ |
Semigroup
|
▼ |
Standard N-operation
|
▼ |
Mean
|
▼ |
Complex mean
|
▼ |
Real mean
|