Eine Zuordnungsvorschrift "Mitglied a der Familie Korbmacher besitzt Schlüssel von Auto b der Familie Korbmacher", die einem Element der Menge D mindestens ein Element der Menge W zuordnet, heißt Relation.

Die Menge D heißt Definitionsmenge. Die Menge W heißt Wertemenge.

Da Muffel mit seinen Pfoten keinen Autoschlüssel halten kann, wird durch die Relation "besitzt Schlüssel von" nicht jedem Element der Definitionsmenge mindestens ein Element der Wertemenge zugeordnet.

Es sei D die Menge, die die Mitglieder der Familie Korbmacher mit Führerschein umfaßt, also D = {Karlheinz, Lydia}.
Es sei W die Menge, die folgende Autos der Familie Korbmacher umfaßt: W = {Aero Deck, Beat, Concerto, Legend Coupé, Logo, Civic Shuttle}.

Eine Zuordnungsvorschrift "Mitglied a der Familie Korbmacher mit Führerschein steuert zu einem bestimmten Zeitpunkt Auto b der Familie Korbmacher", die jedem Element der Menge D genau ein Element der Menge W zuordnet, heißt Funktion.