сводимость по перечислению

Мат. enumeration reducedness