Syntax Definition cp6 4179

Description: Extend the definition of a class to include the P6 operator (the set guaranteed by ax-typlower 4087).

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
cp6	class P6 A

See definition df-p6 4192 for more information.