Syntax Definition c2nd 3086

Description: Extend the definition of a class to include the second member an ordered pair function.

Assertion

Ref	Expression
c2nd	class 2nd

See definition df-2nd 3088 for more information.

metamath.org