 The importance of this notion is that it enables us to split off the (sub)class of (total) recursive functions from the (super)class of partial recursive functions.In brief, the specification says that a function "f"

satisfying the specification
is a special function; that is, for each fixed combination of all-but-last arguments, the function "f" has root in its last argument