The index sets given here are even complete for their levels, that is, all the sets in these levels can be many-one reduced to the given index sets.
Mulțimile indice date aici sunt chiar complete pentru nivelul lor, adică toate mulțimile de la aceste niveluri pot fi multe-una redusă la indexul dat de seturi.