Metamath Proof Explorer


Syntax definition cpm

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

Ref Expression
Assertion cpm class 𝑝𝑚