# 定義 [[写像]] $f: A \rightarrow B$, $g: B \rightarrow C$を考える。$\phi: A \rightarrow C = g(f(a))$を$f, g$の **合成写像** または **積** という。 $g \circ f$で表す 合成写像$\phi$は$f$の終集合と$g$の始集合（定義域）が一致するときに限って定義されることに注意 # 諸定理 ## 全射・単射・全単射 $f: A \rightarrow B$, $g: B \rightarrow C$とするとき、$f, g$がともに[[全射・単射・全単射|全射]]ならば$g \circ f: A \rightarrow C$も全射である。[[全射・単射・全単射|単射]]、[[全射・単射・全単射|全単射]]についても同様。