such that the value of the function for the argument

and for any argument to which

has the relation

is a member of

. We say that