Surjekce: Porovnání verzí
Smazaný obsah Přidaný obsah
m Přidáno další synonymum - epimorfismus značka: editace z Vizuálního editoru |
→Definice: opravení definice značka: editace z Vizuálního editoru |
||
Řádek 6:
Zobrazení <math>f: X \rightarrow Y</math> je zobrazením množiny <math>X</math> '''na''' množinu <math>Y</math>, jestliže se na každý prvek z <math>Y</math> zobrazí alespoň jeden prvek množiny <math>X</math>, tedy
:<math>\forall y \in Y: \quad \exists x \in X \qquad f(x) = y</math>.
Můžeme také psát, že <math>Y = f(X)</math>. Laicky řečeno: v množině Y nezůstalo žádné „volné písmenko“.
|