Profite sets are just another name for compact totally disconnected topological spaces.  I think this is (essentially) explained somewhere in Bourbaki's books on general topology.