Syntax Definition wer 6510

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

Hypotheses

Ref	Expression
cA	class 𝐴
cR	class 𝑅

Assertion

Ref	Expression
wer	wff 𝑅 Er 𝐴

See definition df-er 6513 for more information.