Description: The range of a set is a set. Deduction version of rnexd . (Contributed by Thierry Arnoux, 14-Feb-2025)