 Note that despite its name, the class of partial recursive functions contains total functions. In particular, a recursive function is, by definition, one which is partial recursive while also being total. We will see in  Section 3.2,  there also exist partial recursive functions which are genuinely partial and total functions which are not recursive.