#Topological Groups

A product of a compact subset and a closed subset is closed

Math
Topological Groups