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

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

Xを位相空間、x∈Xを任意の点とする。

π_x(X) := { p: Xのloop | p(0) = p(1) = x }/〜

と定める。ただし、p〜qはpとqがホモトピックであることである。