Syntax Definition wfr 4306

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

Hypotheses

Ref	Expression
cA	class 𝐴
cR	class 𝑅

Assertion

Ref	Expression
wfr	wff 𝑅 Fr 𝐴

See definition df-frind 4310 for more information.