Es seien L {\displaystyle {}L} und M {\displaystyle {}M} Mengen und es sei
eine Abbildung. Zu einer Teilmenge S ⊆ L {\displaystyle {}S\subseteq L} heißt die Abbildung
die Einschränkung der Abbildung auf die Teilmenge S {\displaystyle {}S} .