^dA partial function is a function that is not necessarily total.