Syntax Definition cnc 6092

Description: Extend the definition of a class to include the cardinality operation.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
cnc	class Nc A

See definition df-nc 6102 for more information.