Definition:Discrete Group

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