Mapping/Composition/Associativity/Fact

From Wikiversity
Jump to navigation Jump to search

Let and be sets and let

and

be mappings.

Then
holds.