Known anciently as combinatorial topology, algebraic topology study the algebraic phenomena involved in topological objects. For example is is evident for some mathematicians that the set of all functions , where is the circle and any topological space, is a group, but under the equivalence relation of homotopy, is the important concept of the fundamental group attached to the given space .