Syntax definition crdg

Description: Extend class notation with the recursive definition generator, with characteristic function F and initial value I .

	Ref	Expression
Assertion	crdg	class rec ( 𝐹 , 𝐼 )