切断

切断は右逆写像[right inverse map]ともいう.

切断は単射であり,写像 $f$ が切断を有するならば $f$ は全射である.

切断とは逆写像ではないが前逆写像とでもいうべきものと言える.

なお,$id_{Y}$については,恒等写像*を参照のこと.また,右逆写像に対して,左逆写像*という概念もある.

Mathematics is the language with which God has written the universe.