(C1) Given three mappings \(\alpha_1, \alpha_2\) and \(\alpha_3\), the triple product \(\alpha_3 (\alpha_2\alpha_1)\) is defined if and only if \((\alpha_3\alpha_2)\alpha_1\) is defined. When either is defined, the associative law