Сечение Отображения

Отображение , для к-рого . В более широком смысле С. о. любого морфизма в произвольной категории — обратный справа морфизм. А. Ф. Харшиладзе.