cmap - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > cmap		GIF version

Syntax Definition cmap 6614

Description: Extend the definition of a class to include the mapping operation. (Read for 𝐴 ↑_𝑚 𝐵, "the set of all functions that map from 𝐵 to 𝐴.)

**Assertion**
Ref	Expression
cmap	class ↑_𝑚

See definition df-map 6616 for more information.

Colors of variables: wff set class

W3C validator