| ▼ | 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 |
| ▼ | Factor |
| ▼ | Divisor |
