effective enumerability

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