Formulierung vereinfacht

documents/GeoTopo/Kapitel3.tex

@@ -617,8 +617,8 @@ Wenn $\pi_1(X,x) = \Set{e}$ für ein $x \in X$ gilt, dann wegen
 \end{beweis}
 
 \begin{definition}\xindex{Liftung}%
-    Sei $p: Y \rightarrow X$ Überlagerung, $Z$ ein weiterer topologischer
-    Raum, $f:Z \rightarrow X$ stetig.
+    Es seien $X, Y, Z$ topologische Räume,
+    $p: Y \rightarrow X$ eine Überlagerung und $f:Z \rightarrow X$ stetig.
 
     Eine stetige Abbildung $\tilde{f}: Z \rightarrow Y$ heißt
     \textbf{Liftung} von $f$, wenn $p \circ \tilde{f} = f$ ist.