Zobrazení

Nechť a jsou libovolné neprázdné množiny.
Množinu takovou, že pro každé existuje nejvýše jedno tak, že , nazveme zobrazením z do .

Vztah zapisujeme jako

zapisujeme

Zapsáno predikátkou:

(Všechny prvky z levé množiny, které se zobrazí někam do pravé)

(Všechny prvky z pravé množiny, na které se něco zobrazí)

(zkrácený zápis)

Jeden prvek z levé množiny se nemůže zobrazit na více prvků v pravé!
Nemůže mít více obrazů.