The composition of functions is constantly associative. It is a property that it inherits from the composition of relations. In an austere sense, we can build the composition g ∘ f only if f's codomain will equal g's domain. In a broader sense, it is adequate that the former be a subset of the latter.