Syntax Definition crn 2411

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

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
crn	class ran A

See definition df-rn 2429 for more information.

metamath.org