Complex sentence: Formally, a profinite group is a Hausdorff, compact, and totally disconnected topological group: that is, a topological group that is also a Stone space.
Split into simpler sentences: Formally, a profinite group is a Hausdorff, compact, and totally disconnected topological group. That is, a topological group that is also a Stone space.