Dans chacune de ces paires ordonnées -LRB- a, b -RRB-, le premier élément a est du domaine, le deuxième élément b est du codomaine, et chaque élément du domaine est le premier élément d'une paire ordonnée.
Chaque élément du domaine sera associé à un élément du codomaine.