Los grupos topológicos son grupos (en el sentido de Álgebra Abstracta; ver C.1) provistos con una topología compatibles con las operaciones del grupo.