Syntax Definition cfv 5188

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.")

Hypotheses

Ref	Expression
cA	class A
cF	class F

Assertion

Ref	Expression
cfv	class ( F ` A )

See definition df-fv 5196 for more information.