A based topological space with a continuous map 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.
In the context of topology, an **H-space** is a type of space that has a continuous multiplication that satisfies certain properties resembling those of algebraic structures.
New to topics? Read the docs here!