Talk:Trivial semigroup