Les éléments de sont des fonctions de dans .

Une fonction appartient à si et seulement si il existe deux réels et tels que, pour tout réel , .

Par exemple la fonction appartient à .

De même la fonction est élément de car, pour tout réel , .