Exercice 3, § 1

Soit A une partie d’un groupe semi-topologique (resp. topologique) G. Si V parcourt le filtre des voisinages de $e$, l’intersection des ensembles AV, ou des ensembles VA (resp. des ensembles VAV) est l’adhérence $\overline{A}$ de A.