>>16771470
Assume the domain is nonempty. Then use pic related. "y" is guaranteed to exist and be an element of the set, assuming we're talking about ZFC here.

If it's empty then do what you must.