corecursively enumerable

listen to the pronunciation of corecursively enumerable