Given a based space and , we define an -dimensional loop with base to be a continuous function , i.e. mapping the boundary of the unit hypercube to the basepoint.
Given loops we define their concatenation as
The th homotopy group is the set of homotopy classes of such loops with the concatenation operation, i.e. as a set . homotopy
Equivalently, .