חבורה יסודית – הבדלי גרסאות

<math>\,f_* : \pi_1(X,x_0) \rightarrow \pi_1(Y,y_0)</math>.

 

 

מתברר שפונקטור זה אינו מבחין בין פונקציות [[הומוטופיה|הומוטופיות]] ביחס לנקודת בסיס. כלומר, אם <math>\,f,g:X\rightarrow Y</math> הן פונקציות רציפות כך ש <math>\,f(x_0) = g(x_0) = y_0</math> שהן הומוטופיות ביחס ל <math>\,\{x_0\}</math>, אז מתקיים <math>\,f_* = g_*</math>.