H-space

topological space with a multiplication that is associative and unital up to homotopy