¹΄Ενα σύνολο G ονομάζεται τοπολογική ομάδα, αν το G είναι τοπολογικός χώρος, ομάδα και οι πράξεις της ομάδας είναι συνεχείς συναρτήσεις.