Syntax Definition cfv 4782

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 4796 for more information.