| ▼ |
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
|
| ▼ |
Ringoid
|
| ▼ |
Semiring
|
| ▼ |
Ring
|
| ▼ |
Left ring action
|
| ▼ |
Module
|
| ▼ |
Vector space
|
