H-space
= H-space
{c}
{title2=$m:Y\times Y\to Y$}
A based <topological space> with a <continuous map> $m$ whose left and right restrictions at the basepoint are homotopic to the identity. Associativity and inverses up to <homotopy> are additional conditions, not part of the bare definition.