на топологическом пространстве Xсо значениями в нек-рой категории 
(напр., категории множеств, групп, модулей, колец, ...) - контрава-риантный функтор F из категории открытых множеств пространства Xи их естественных отображений включения в категорию 
. В зависимости от Жпредпучок Fназ. предпучком множеств, групп, модулей, колец,... . Отвечающие включениям 
морфизмы 
наз. гомоморфизмами ограничения.
Всякий П. определяет на X пучок (см. Пучков теория).
Е. Г. Скляренко.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.