Semigroup theory
Semigroup
Contraction
Cover
Von Neumann algebra
Semigroup with involution
Inverse element