関数 f:X→Yf: X \to Yf:X→Y, g:f(X)→Zg: f(X) \to Zg:f(X)→Zについて次のように定義されるh:X→Zh: X \to Zh:X→Zを**fffとgggの合成**composition of ggg with fffと呼び、h=g∘fh=g \circ fh=g∘fと表記する。
h(x)=(g∘f)(x):=g(f(x)) h(x) = (g\circ f) (x) := g\left( f(x) \right) h(x)=(g∘f)(x):=g(f(x))