reduct

(логика) обеднение, редукция, ограничение