En matemáticas, especialmente en topología, un grupo topológico ( llamado también "grupo continuo" ) es una terna formula_1 tal que: