Syntax Definition cpm 6001

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

Assertion

Ref	Expression
cpm	class ^pm

See definition df-pm 6003 for more information.