H-space

(topology) A topological space X (generally assumed to be connected) together with a continuous map μ : X × X → X with an identity element e such that μ(e, x) = μ(x, e) = x for all x in X.