„Függvények relációalgebrája” változatai közötti eltérés
[nem ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →Függvények relációalgebrai tulajdonságai: fő sablon |
a →Szürjektív függvény: elüt. |
||
28. sor:
===Szürjektív függvény===
{{fő|Szürjekció}}
Azt mondjuk, hogy az ''f'': ''A'' <math>\rightarrow</math> ''B'' függvény '''szürjekció ''A'' és ''B'' között''', vagy '''ráképez ''B''-re''', ha ''B'' minden
:<math>(\forall y\in B)(\exists x\in A)(\,f(x)=y\,)</math>
|