Theorem set.nonempty.preimage'

refactor(data/set/basic): move image, preimage, and range to a new file (#17842) …

feat(topology/connected): sufficient conditions for the preimage of a connected set to be connected (#10289) …