The restriction maps, as well as the functoriality of the inverse image follows from the universal property of direct limits.
Существование отображений ограничения, как и функториальность обратного образа, следуют из универсального свойства прямых пределов.