Talk:Semigroup with three elements