Syntax Definition wfr 4313

Description: Extend wff notation to include the well-founded predicate. Read: ' R is a well-founded relation on A.'

Hypotheses

Ref	Expression
cA	class A
cR	class R

Assertion

Ref	Expression
wfr	wff R Fr A

See definition df-frind 4317 for more information.