Syntax Definition cpw 1798

Description: Extend class notation to include power class.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
cpw	class P~A

See definition df-pw 1799 for more information.

metamath.org