Syntax Definition word 2198

Description: Extend the definition of a wff to include the ordinal predicate.

Hypothesis

Ref	Expression
cA	class A

Assertion

Ref	Expression
word	wff Ord A

See definition df-ord 2202 for more information.

metamath.org