▼ 
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

▼ 
Semigroup

▼ 
Standard Noperation

▼ 
Indexed sum
