Concatentation

If $P_1$ and $P_2$ are two pieces of code, so is $P_1;P_2$, the concatentation (composition) of $P_1$ with $P_2$. This is ``first $P_1$, then $P_2$'', which obviously corresponds to the composition of functions.