Description: The value of a function F at a set A is in the range of the function F if A is in the domain of the function F . It is sufficient that F is a function at A . (Contributed by AV, 1-Sep-2022)