cpw1 - New Foundations Explorer

	New Foundations Explorer		< Previous Next > Nearby theorems
Mirrors > Home > NFE Home > Th. List > cpw1		GIF version

Syntax Definition cpw1 4136

Description: Extend class notation to include unit power class.

**Hypothesis**
Ref	Expression
cA	class A

**Assertion**
Ref	Expression
cpw1	class ℘₁A

See definition df-pw1 4138 for more information.

Colors of variables: wff setvar class