Editing Stone space (section)

{{Short description|Type of topological space}}
{{More citations needed|date=December 2024}}
In [[topology]] and related areas of [[mathematics]], a '''Stone space''', also known as a '''profinite space<ref name=":0">{{nlab|id=Stone+space|title=Stone space}}</ref>''' or '''profinite set''', is a [[compact space|compact]] [[Hausdorff space|Hausdorff]] [[totally disconnected]] space.<ref name=":1">{{SpringerEOM
|title=Stone space
|id=Stone_space
|last=
|first=
|author-link=
|last2=
|first2=
|author2-link=
|ref=
}}</ref> Stone spaces are named after [[Marshall Harvey Stone]] who introduced and studied them in the 1930s in the course of his investigation of [[Boolean algebra (structure)|Boolean algebras]], which culminated in [[Stone's representation theorem for Boolean algebras|his representation theorem for Boolean algebras]].