Exercice 9, § 1

Montrer que sur un groupe $G$, la borne supérieure d’une famille de topologies compatibles avec la structure de groupe de $G$ est compatible avec cette structure.