関数の合成

関数ｆの終集合（値域）と関数ｇの始集合（定義域）が等しいときに定義できる関数ｘ ├─→ ｇ(ｆ(ｘ))　（ｘ∈ｆの始集合）

を，ｆとｇの合成と呼びます。