recursive enumerability

Мат. рекурсивная перечислимость