数学の証明という理論がわからないです

[0240 １３２人目の素数さん 2021/02/23(火) 21:22:49.31 ID:JQqit+rb]

Xを位相空間
x∈X

任意の元

[p], [q] ∈ π_x(X)（p, q: Xのloopでp(0) = q(0) = xとなるもの）

に対して、積[q] [p]を

[q] [p] := [q p]

で定義する。以下、これが代表元の取り方によらないことを示す。