Algebraic logic
Camera lens
Anamorphism
Fold
Heap
Surjective function
Binary relation
Boolean algebra
Mathematics
Mathematical logic
Mathematical analysis