Semigroup with one element