Definition:Composition of Mappings/Definition 2

Definition
Let $S_1$, $S_2$ and $S_3$ be sets.

Let $f_1: S_1 \to S_2$ and $f_2: S_2 \to S_3$ be mappings such that the domain of $f_2$ is the same set as the codomain of $f_1$.

The composite of $f_1$ and $f_2$ is defined and denoted as:


 * $f_2 \circ f_1 := \set {\tuple {x, z} \in S_1 \times S_3: \tuple {\map {f_1} x, z} \in f_2}$


 * CompositeMapping.png

Also see

 * Equivalence of Definitions of Composition of Mappings