Definition:Discrete Group

From ProofWiki
Jump to: navigation, search

Definition

A discrete group is a topological group whose topology is discrete.