These hierarchy levels are defined inductively, Σn+1 contains just all sets which are recursively enumerable relative to Σn; Σ1 contains the recursively enumerable sets.
Această ierarhie de niveluri este definită inductiv, Σn+1 conține doar toate mulțimile care sunt recursiv enumerabile relativ la Σn; Σ1 conține mulțimile recursiv enumerabile.