Syntax Definition wer 6532

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 6535 for more information.