Description: The domain of a function is a set iff the function is a set. (Contributed by AV, 8-Aug-2024)