Description: Extend the definition of a class to include the partial mapping operation. (Read for A ^pm B , "the set of all partial functions that map from B to A .)