Since composition of relations has been shown to be associative(Theorem 20), we have as a special case the following theorem Theorem 3.4: Letf be a(everywhere) function from A to B, and g be a(everywhere) function from B to C, and h be a(everywhere) function from c to D. Then h°(g)=(h°g)°f❖ Since composition of relations has been shown to be associative (Theorem 2.), we have as a special case the following theorem. ❖ Theorem 3.4: Let f be a (everywhere) function from A to B, and g be a (everywhere) function from B to C, and h be a (everywhere) function from C to D. Then h(gf )=(hg)f