the set S, and is such that if x,y ? S^*, then x·y ? S^*.

Furthermore, the Kleene star is generalized by including the *-operation (and the union) in the algebraic structure itself by the notion of complete star semiring.