Description: The second argument of a binary relation on a function is the function's value, analogous to funbrfv . (Contributed by Alexander van der Vekens, 25-May-2017)