свойство коуниверсальности

Мат. pullback property