Definition:Topological Group

Equivalence of Definitions
That the definitions presented above are equivalent is shown on Equivalence of Topological Group Definitions.

Also defined as
Some sources insist that a topological group be a Hausdorff space.