One of these structures is that one of recursively enumerable sets under inclusion modulo finite difference; in this structure, A is below B if and only if the set difference B − A is finite.
Una dintre aceste structuri este cea a mulțimilor recursiv enumerabile împreună cu incluziunea și cu diferența modulo finită; în această structură, A este sub B dacă și numai dacă diferența B − este finită.