En tales casos es común identificar el dominio "X" con sus imágenes "f"("X") contenidas en "Y", de manera que "X" ⊆ "Y".