Ha egy A halmazt úgy képezünk le egy B halmazra, hogy az A külölbözõ elemeihez a B-nek külölbözõ elemei tartoznak, akkor azt mondjuk, hogy ez a leképezés kölcsönösen egyértelmû.

KÖLCSÖNÖSEN EGYÉRTELMÛ LEKÉPEZÉS

Egy gimnázium I.b osztályának matematikaórájára a tanárnõ kis dobozzal lépett be. A dobozból korongok kerültek elõ, mindegyikre egy 900 és 1000 közötti szám volt írva. Kiosztották a korongokat. Valamennyi tanulónak jutott egy korong, de mind el is fogyott. A tanulók feladata az vlt, hogy felírják füzetükbe a kapott szám összes osztóját.

Laci a 960-ast, Zoli a 999-est, Márta a 902-est kapta, mindjárt neki is fogtak a feladat megoldásának. Andrea azonban számolás helyett azon gondolkozott, hogy vajon a korongoknak hányféle kiosztása volna lehetséges.

Itt két halmaz szerepel. Jelöljük T-vel az 1.b osztályos tanulók, K-val a korongok halmazát. Azt, hogy kiosztották a korongokat, úgy is kifejezhetjük, hogy a T halmazt leképezték a K halmazra.

1. T minden eleméhez hozzárndelték K egy elemét	1. minden tanuló kapott egy korongot
2. T különbözõ elemeihez K különbözõ elemeihez K különbözõ elemeit rendelték hozzá	2. különbözõ tanulók különbözõ korongokat kaptak
3. K minden egyes eleme hozzá van rendelve T valamelyik eleméhez	3. az összes korongot kiosztották