Röviden mi az injektív, szürjektív, bijektív?

Ugye az injektív leképezés ( [link] esetében egy elemhez pontosan 1 elem fog tartozni a másik halmazból

Formálisan:

f(a) = f(b) esetén a = b

Szürjekció ( [link] esetében mondjuk egy A halmazból B-be képezés esetén MINDEN B elemre lesz egy A beli elem.

Formálisan:

Minden b-re lesz egy f(a) = b.

(Ugye itt lehet akár az is, hogy több a-hoz is ugyan az a b tartozik.)

A bijekció ( [link] ennek a 2 tulajdonságnak a teljesülése, azaz B MINDEN eleméhez PONTOSAN 1 A beli elem fel meg.

(A formalizálások nem teljesek, csak a lényeget vettem ki, a Wikis cikkeket olvasd el, ott vannak a pontos képletek.)