基本群首先我们要指出道路乘法是没有结合律的，并且道路乘法有意义是需要条件的。于是我们导出了“道路类”，然后选定基点$p_0$，从而实现这些运算，这是为之后引出基本群中运算做好铺垫。定端同伦定义：...