Let $U$ be open in a topological group, G. Why then is it necessarily true that $UH$ where $H$ is some subgroup of $G$ open in $G$? (I think I don't quite get the idea of a topological group even after reading its definition on Wiki. Grateful if someone could explain the idea.) Thanks.
Definition of topological group
4
$\begingroup$
topological-groups