= ( Union n in N )
=
= { x | x is the concatenation of zero or more strings from L }
Thus is the set of all strings derivable by any number of concatenations of strings in L. It is also useful to define
= , i.e., all strings derivable by one or more concatenations of strings in L. That is
= (Union n in N and n >0) =