Talk:Compact semigroup