For all humankind
Academicsubsite
ZixuanZhang
ZixuanZhang
Ponder...

Function Composition

The composition of maps applies the maps in sequence, and composition is associative.

Lemma 1.15 (Composition Is Associative)

Consider the following maps of sets:

Then .

Stated in