1.
 

Egyértelmű reláció

Egyértelmű reláció az A és B halmaz között: az A halmaz bármely eleméhez legfeljebb egy B halmazbeli elem tartozik.

2.
 

NEM Egyértelmű reláció

Nem egyértelmű reláció az A és B halmaz között: az A halmaznak van olyan eleme, amelyhez egynél több B halmazbeli elem tartozik.

3.
 

KÖLCSÖNÖSEN Egyértelmű reláció

Kölcsönösen egyértelmű reláció az A és B halmaz között: az A halmaz bármely eleméhez legfeljebb egy B halmazbeli elem tartozik, és a B halmaz bármely eleméhez legfeljebb egy A halmazbeli elem tartozik

4.
 

LEKÉPEZÉS

Leképezés az A és B halmaz között: az A halmaz minden eleméhez tarozik egy vagy több B halmazbeli elem.

A leképezést érthetjük úgy is, hogy az egész alaphalmazt „lefényképeztük”, és a képek ott vannak a képhalmazban.

5.
 

FÜGGVÉNY

Függvény: olyan leképezés az A és B halmaz között, amelyben az A halmaz minden eleméhez pontosan egy B halmazbeli elem tarozik.

A függvény alaphalmaza mindig megegyezik az értelmezési tartományával.

Szám-szám függvény: olyan függvény, ahol az alaphalmaz és a képhalmaz is számhalmaz.

Pont-pont függvény: olyan függvény, ahol az alaphalmaz és a képhalmaz is ponthalmaz.