f: X → Y を圏 C における射とする。
射 h: Y → X で fh = 1_Y となるものがあるとき
h を f の断面(section)と言った（代数的整数論017の346）。