Restrikce zobrazení: Porovnání verzí

Množina <math> \{1,2,3\} \times N^+ </math> obsahuje všechny uspořádané dvojice <math> (a,b) </math>, kde ''b'' je přirozené číslo a <math> a \in \{1,2,3\} </math>. Dvojice (4,16) v této množině není, proto není ani prvkem [[průnik|průniku]] (tj. restrikce, kterou tento průnik definuje). Naopak dvojice (1,2) neboa (1, 2345) v této množině jejsou, ale nenínejsou prvkem ''f'', takže také nenínejsou prvkem výsledného zobrazení.