Composite Functions

Let’s assume we have two functions, $f : A\to B$ and $g: B\to C$, defined for some arbitrary sets $A,B,$ and $C$. Here is how the composite function from $A$ to $C$, written as $g\circ f : A \to C$, will be defined: