Se define un conjunto recursivamente enumerable como un conjunto para el que existe un algoritmo que se detendrá si su entrada es un elemento del conjunto, pero seguirá corriendo indefinidamente si su entrada no pertenece al conjunto.