We know that totally disconnected topological groups are Hausdorff. Then why we are considering both Hausdorff and totally disconnected conditions in the definition of profinite groups.
Topological Group $G$ totally disconnected $\Rightarrow$ $G$ hausdorff?
