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