N, Z, R and C are the usual sets of non-negative integers, integers, real numbers and complex numbers; Cp(_O_) is the set of p-times continuously differentiable functions on the open domain _O_ (p < + oo).