This is the group of homotopy classes of loops based at x0.
Αυτή είναι η ομάδα της ομοτοπικών κλάσεων των θηλειών, με βάση το x0.