The Stacks project

Definition 5.30.10. Let $R$ be a topological ring. A topological module is an $R$-module $M$ endowed with a topology such that addition $M \times M \to M$ and scalar multiplication $R \times M \to M$ are continuous. A homomorphism of topological modules is a homomorphism of modules which is continuous.