Restrikce zobrazení: Porovnání verzí

Formálně se [[Zobrazení (matematika)|zobrazení]] definuje jako množina [[Uspořádaná dvojice|uspořádaných dvojic]], tzn. jako [[podmnožina]] [[Kartézský součin|kartézského součinu]]:

:Říkáme, že '':<math>f''</math> je zobrazení z množiny ''<math>A''</math> do množiny ''<math>B''</math> (značení:značíme <math>f: A \to B </math> ), pokudprávě když <math>f \subseteq A \times B </math>.

:Je-liMějme zobrazení <math>f: A \to B </math> a množinu <math> C \subseteq A </math>, pak restrikce '''<math>f'''</math> na ''<math>C''</math> je definována takto:

:: <math>{f|}_C = f \bigcap ( C \times B ) </math>

Jinými slovy, <math>{f|}_C</math> restrikce zobrazení <math>f</math> obsahuje pouze ty dvojice, jejichž levý prvek (tzv. vzor) leží v množině ''<math>C''</math>.