Obraz a vzor při zobrazení, zúžení

Nechť a jsou libovolné neprázdné množiny a zobrazení, definujeme:

• obraz množiny při
  (množina všech obrazů)
  

• vzor množiny při
  (množina všech vzorů)
  

• zúžení (restrikci) zobrazení na množinu :
  (nebudu uvažovat některé prvky, které mě nezajímají)

  žé