25.12. Definíció
Kép és teljes inverz kép
Legyenek A és B tetszőleges halmazok, továbbá tegyük fel, hogy értelmezve van egy f:A\to B függvény, amely tehát az A halmaz minden eleméhez hozzárendel egy elemet a B halmazból.
Legyen adott egy C\sube A részhalmaz. Ekkor B-nek azt a részhalmazát, amelybe pontosan azok az elemek tartoznak, amelyek valamelyik C-beli elem f szerinti képei, a C halmaz f szerinti képének nevezzük, és f(C)-vel jelöljük.
Legyen adott egy D\sube B részhalmaz. Ekkor A-nak azt részhalmazát, amelybe pontosan azok elemek tartoznak, amelyeknek f szerinti képe D-ben van, a D halmaz f szerinti teljes inverz képének nevezzük, és f^{-1}(D)-vel jelöljük.
♣