Category:Subset Product within Semigroup is Associative