\left\langle S \right\rangle = \left\{ e \right\} \cup \left\{ {s_1 s_2 ...s_r :s_i \in \left( {S \cup S^{ - 1} } \right),r \in {\bf N}} \right\}