Intro. to Syntax Lecture Notes

A function is a pairing of elements from two sets, such that each element in the first set is paired with no more than one element in the second set. If the first set has additional elements that are not paired with any elements in the second set, the function is said to be a partial function. ................
................