The

**image**of $E \subseteq X$ with respect to $f$ is the D11: Set \begin{equation} f(E) : = \{ f(x) : x \in E \} \end{equation}

▼ | Set of symbols |

▼ | Alphabet |

▼ | Deduction system |

▼ | Theory |

▼ | Zermelo-Fraenkel set theory |

▼ | Set |

▼ | Binary cartesian set product |

▼ | Binary relation |

▼ | Map |

Children

▶ | Canonical surjective submap |

Results

▶ | Image of empty set |

▶ | Image of singleton set |

▶ | Inclusion of inverse image does not imply inclusion of image |

▶ | Isotonicity of map image |