An arbitrary group endowed with the discrete topology is called discrete group.

Every discrete group is a topological group .