Types: Not Applicable
Examples: Not Applicable
Constructions: Not Applicable
Generalizations: Not Applicable

Properties: Composition is Associative, Composition of Onto Functions, Composition of One to One Functions
Sufficiencies: Not Applicable
Equivalences: Not Applicable
Justifications: Not Applicable

Composition

If and are two mappings with , then the composition is the mapping given by

Remark: For the composition to make sense, the Codomain of must be contained in the Domain of .


Example: Composition of two functions
If , and , then