We call Partial Function numerical partial functions. Its encoding is: