Discrete-math 12 Associativity of the function composition theorem Properties of function composition theorem Composition of two injective functions is injective lemma Composition of injective functions is injective theorem