Syntax Definition cdm 2410

Description: Extend the definition of a class to include the domain of a class.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
cdm	class dom A

See definition df-dm 2428 for more information.

metamath.org