Topological group implies quasitopological group

Statement

Any topological group is a quasitopological group.

Related facts

• Quasitopological group not implies topological group
• Algebraic group implies quasitopological group

Proof

The proof relies on the fact that jointly continuous implies separately continuous: if the multiplication map is jointly continuous in both variables, it is also continuous in each variable separately.