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