A topological group where every two distinct points have disjoint open neighborhoods. Examples include any compact topological group and any discrete topological group.
A topological group where every two distinct points have disjoint open neighborhoods. Examples include any compact topological group and any discrete topological group.