Three ways are provided to produce new functionsfrom given functions.
Definition 8.2.2: for an m-ary (partial) function f, and m n-ary (partial) functions g1, g2, … , gm, the composition of f and gi (1ŠiŠm), written f °
Of course, if all the functions are total, then so is the composition.
Previous slide | Next slide | Back to first slide | View graphic version |