restriction (d'une fonction
à un ensemble) (1) :
Soit
une fonction définie sur un ensemble
E, et A une partie de E.
La restriction de
à A, notée
ou
est la fonction définie par ()(),
pour tout de
A.
La fonction "carré" définie sur n'est pas bijective mais sa restriction à est une bijection entre et .