Syntax Definition wfrfor 4305

Description: Extend wff notation to include the well-founded predicate.

Hypotheses

Ref	Expression
cA	class A
cR	class R
cS	class S

Assertion

Ref	Expression
wfrfor	wff FrFor R A S

See definition df-frfor 4309 for more information.