Composition of Direct Image Mappings of Mappings/Proof 2

Proof
We have that a mapping is a relation.

Hence Composition of Direct Image Mappings of Relations applies.