Syntax definition cmap

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

	Ref	Expression
Assertion	cmap	class ^m