PARTIAL FUNCTION

Definition An object is an <PARTIAL FUNCTION> if and only if: it is a <MAPPING>; there is zero or one member of the graph for each member of the domain