Syntax Definition cfrec 6310

Description: Extend the definition of a class to include the finite recursive function generator.

Hypotheses

Ref	Expression
cF	class F
cI	class I

Assertion

Ref	Expression
cfrec	class FRec (F, I)

See definition df-frec 6311 for more information.