„Függvények relációalgebrája” változatai közötti eltérés

[nem ellenőrzött változat][nem ellenőrzött változat]
Tartalom törölve Tartalom hozzáadva
a →‎Szürjektív függvény: függvény egyértelműsítés
a →‎Bijektív függvény: függvény egyértelműsítés
40. sor:
Az ''f'':''A''<math> \rightarrow</math> ''B'' függvényről azt mondjuk, hogy '''bijekció ''A''-ból ''B''-be''', ha injektív és ráképez ''B''-re. Sokszor az ilyen függvényre mondják, hogy ''kölcsönösen egyértelmű'' vagy ''egy-egy értelmű'' annak ellenére, hogy az injektív függvényeket is így nevezik.
 
Ha a függvény az (''A'', ''B'', ''f'') [[Függvényfüggvény (matematika)#algebrai szemlélet|algebrai szemléletű definíció]] szerint van definiálva, akkor az előbbi esetben még azt is mondják, hogy '''bijektív'''. Ez a megfogalmazás a [[függvény (matematika)#halmazelméleti függvény|halmazelméleti definíció]] esetén értelmetlen, mert ekkor nincs kijelölve az a halmaz, amelyre ''f'' ráképez.
 
== Függvényműveletek ==