Definition:Discrete Group

From ProofWiki
Jump to navigation Jump to search

Definition

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