Discrete group

Definition
A discrete group is a topological group whose underlying topological space is a discrete space.

Every abstract group can be uniquely given the structure of a discrete group. For a finite group, a discrete group structure is the only way of giving it the structure of a T0 topological group.