subsemigroup

views updated

subsemigroup A subset T of a semigroup S, where T is closed under the dyadic operation ◦ defined on S. Let x be an arbitrary element of S. Then the set consisting of x, x x, x x x, …

i.e. all powers of x, is a subsemigroup of S.