Semideciding

Wikipedia

#REDIRECT Computably enumerable set