Definition:Topological Group

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

Also see
Equivalence of Topological Group Definitions