Since composition of relations has been shown to be associative(Theorem 20), 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°(g9=(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