合成写像
合成写像 (composite function/mapping)
写像$ f:X→Y と$ g:Y→Z を写像とするとき、合成写像$ g \circ f : X → f を$ (g \circ f)(x) = g(f(x))(\forall x \in X) で定義する。
確認用
Q. 合成写像
参考
関連
推移律
(圏論) 合成