On the collection of points of a formal space.