Правое обратное к морфизму.
Правое обратное к отображению расслоения.
Правило сечений в теории доказательств.