эффективная перечислимость

Мат. effective enumerability