 It is also possible to modify the definition of the partial recursive functions given in  Section 2.2.1  to allow such relativization to an additional class of initial functions. Since relativization to a finite set of functions can be accomplished by successive relativization to a single function and the graph of a function can also be coded into a set, this is now standardly achieved as follows: