cpm - Intuitionistic Logic Explorer

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

Syntax Definition cpm 6536

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

**Assertion**
Ref	Expression
cpm	class ↑_pm

See definition df-pm 6538 for more information.

Colors of variables: wff set class

W3C validator