A függvény egy halmaz elemeit egyértelműen hozzárendeli egy másik halmaz elemeihez.

Az alaphalmaz azt a halmazt jelenti, amelyen egy probléma megoldását keressük. Egy-egy problémának a megoldása alaphalmaztól függően más és más lehet. A Venn-diagramon az alaphalmaz a legbővebb halmaz, minden más halmaz a részhalmaza.