Les fonctions n'ont pas besoin d'agir sur les nombres : le domaine et le codomaine d'une fonction peuvent être des ensembles arbitraires.
Même si les structures sous-jacentes sont des ensembles, les mathématiciens parlent de domaine et de codomaine d'une fonction. Chaque élément du domaine sera associé à un élément du codomaine.