Infinite r.e. sets have always infinite recursive subsets; but on the other hand, simple sets exist but do not have a coinfinite recursive superset.
Mulțimile r.e. infinite au întotdeauna submulțimi infinite recursive; dar, pe de altă parte, există mulțimi simple, dar nu au o supramulțime coinfinită recursivă.