třída reducibility

• класс приводимости