Topologischer Raum/Fundamentalgruppe/Definition/Begriff/Inhalt

Die Fundamentalgruppe ${}\pi _{1}(X,x_{0})$ von ${}X$ mit Aufpunkt ${}x_{0}$ ist die Menge aller Homotopieklassen von stetigen geschlossenen Wege mit Anfangs- und Endpunkt ${}x_{0}$ mit der Hintereinanderlegung von Wegen als Verknüpfung.