Syntax Definition cnc 6091

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 6101 for more information.