Recursive sets can be defined in this structure by the basic result that a set is recursive if and only if the set and its complement are both recursively enumerable.
Mulțimile recursive pot fi definite în această structură cu ajutorul rezultatului că o mulțime este recursivă dacă și numai dacă și mulțimea și complementul ei sunt recursiv enumerabile.