f: X → Y を圏 C における射とする。
f がある射 g：Y → X の引き込み（>>294）のとき、即ち f が断面（>>293）g を持つとき
f を引き込みという。