相対ホモトピー群

$x_0\in A\subseteq X$、$n\ge1$ とし、$\pi_n(X,A,x_0)$ を写像 $f:(I^n,\partial I^n,J^{n-1})\to(X,A,x_0)$（境界を $A$ に、$J^{n-1}$ を $x_0$ に送る）の、この条件を保つホモトピーによる類の集合とする。$n\ge2$ では 定義 2.1 と同じ式（第 1 座標で連結）で群になる。$\partial[f]=[f|_{I^{n-1}}]\in\pi_{n-1}(A,x_0)$ と定める。