A partial function from a set to a set is a function from a subset of to . is the domain and is codomain.