cpm - Metamath Proof Explorer

	Metamath Proof Explorer		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > cpm		Structured version Visualization version GIF version

Syntax Definition cpm 8868

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 8870 for more information.

Colors of variables: wff setvar class

W3C validator