2つのループのホモトピー類["f"]と["g"]の積は、["f" ∗ "g"]と定義され、この積は代表元の取り方に依らないことを示すことができる。