The domain of a surjective function must be an infinite set?