co-recursively enumerable

Adjective

 * 1)  Describing a set for which there exists a deterministic algorithm that will list all items not in that set.
 * Any recursively enumerable set which is also co-recursively enumerable is a decidable set.