Es seien L und M Mengen, T⊆L eine Teilmenge und
eine Abbildung. Dann heißt eine Abbildung
eine Fortsetzung von F, wenn F(x)=F~(x) gilt für alle x∈T.