Mapping/Composition/Associativity/Fact

Let and be sets and let

and

be mappings.

Then
holds.