Jabarkan Definisi dari Grup dasar

X adalah ruang topologi, contoh tipikal adalah permukaan digambarkan di sebelah kanan. Selain itu,  adalah titik di X yang disebut titik dasar. Gagasan dari definisi grup homotopi adalah untuk mengukur berapa kurva pada X yang dideformasi satu sama lain. Definisi tergantung pada pengertian homotopi gelung, yang akan dijelaskan terlebih dahulu.