global reducedness

Мат. глобальная сводимость