Syntax Definition cfv 5259

Description: Extend the definition of a class to include the value of a function. (Read: The value of 𝐹 at 𝐴, or "𝐹 of 𝐴.")

Hypotheses

Ref	Expression
cA	class 𝐴
cF	class 𝐹

Assertion

Ref	Expression
cfv	class (𝐹‘𝐴)

See definition df-fv 5267 for more information.