El producto de dos clases de homotopía de lazos [f] y [g] se define como [f ∗ g].