In topology and related areas of mathematics, a Stone space, also known as a profinite space[1] or profinite set, is a compact Hausdorff totally disconnected space.[2] Stone spaces are named after Marshall Harvey Stone who introduced and studied them in the 1930s in the course of his investigation of Boolean algebras, which culminated in his representation theorem for Boolean algebras.