Syntax definition cfsupp

Description: Extend class definition to include the predicate to be a finitely supported function.

	Ref	Expression
Assertion	cfsupp	$$class\mathrm{finSupp}$$