Прообразом множини {a, b} є f −1({a, b}) = {1}. 2. визначена як . У цьому прикладі, образом [-2,3] для відображення f є f([-2,3])=[0,9] і областю значень f є множина невід'ємних дійсних чисел. Прообразом [0,9] для f є f −1([0,9])=[-3,3]. Властивості З наведених визначень безпосередньо випливають такі властивості образів та прообразів для будь-яких A, A1, A2 з X та B, B1, B2 з Y: Див. також Образ та прообраз відповідності між множинами Образ та прообраз функції (відображення) Теорія множин Функції та відображення