Syntax Definition wfrfor 4312

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