Es sei
eine Überlagerung und
ein zusammenhängender und lokal weg-zusammenhängender topologischer Raum. Es sei weiter
und
eine stetige Abbildung punktierter topologischer Räume.
Es gibt eine stetige Abbildung
punktierter topologischer Räume mit
genau dann, wenn
-

gilt.
Die stetige Abbildung
ist durch die Bedingungen
und
eindeutig bestimmt, wenn sie existiert.