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