Wiktionary
co-recursively enumerable
a. (context computing theory English) Describing a set for which there exists a deterministic algorithm that will list all items not in that set.