Saya mau tau Definisi formal dari Grup topologi

Grup topologis, , adalah ruang topologi yang juga merupakan grup operasi grup (dalam hal ini darab):

adalah kontinu. Disini  dipandang sebagai ruang topologi dengan topologi darab. Topologi seperti itu dikatakan serasi dengan operasi grup dan disebut topologi grup.