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 .