Syntax definition cfv

Description: Extend the definition of a class to include the value of a function. Read: "the value of F at A ", or " F of A ".

	Ref	Expression
Assertion	cfv	class ( F ` A )