Wiktionary
recursively enumerable
a. (context computing theory English) Of a set, such that there exists a deterministic algorithm which will list all the items in the set and no others. alt. (context computing theory English) Of a set, such that there exists a deterministic algorithm which will list all the items in the set and no others.