1. The problem statement, all variables and given/known data If I was to map elements in R/A to R/B via the function p. So p:R/A -> R/B Can I assume there are no elements in R/B before the mapping? Or is it more there are elements in R/B already before the mapping. However during the mapping, I highlight each element in R/B that was mapped by p from R/A. After the mapping has finished, the highlighted elements in R/B is the image of p. However if the domain and codomains are infinite then the mappings will never finish.