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