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 .