Syntax Definition wer 6510

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

Hypotheses

Ref	Expression
cA	class A
cR	class R

Assertion

Ref	Expression
wer	wff R Er A

See definition df-er 6513 for more information.