*Algebraic topology* is a branch of topology in which one calculated invariants of a topological space which are algebraic structures, often groups.

For example, the fundamental group of a space is such an invariant as are homotopy groups and homology groups.