Template:Semigroup property