a) Show that a partial function from .A to B can be viewed as a function f* from A to B ∪ {u}. where u is not an element of B and
b) Using the construction in (a). find the function f* corresponding to each partial function in Exercise 77.
Solution:
Step 1 ;
In this problem we have to prove that the function can be viewed as a function
where u is not an element of B and
This shows that is well defined.
For each it shows that either
is in the domain of the definition of
or it is not.
If is in the domain of the definition then
is the well defined element,
If is not in the domain of the definition
In either case is well defined.