▼ 
Set of symbols

▼ 
Alphabet

▼ 
Deduction system

▼ 
Theory

▼ 
ZermeloFraenkel set theory

▼ 
Set

▼ 
Binary cartesian set product

▼ 
Binary relation

▼ 
Map

▼ 
Operation

▼ 
Noperation

▼ 
Binary operation

▼ 
Enclosed binary operation

▼ 
Groupoid

▼ 
Ringoid

▼ 
Semiring

▼ 
Ring

▼ 
Multiplicative group

▼ 
Multiplicative monoid
