The set of all tuples with elements in SSS.
The set of all tuples with elements in SSS and having length nnn.