EntityQ1050203· pop 13· linked from 9 articlesCantor's intersection theoremSign in to savetheorem that a decreasing nested sequences of nonempty closed compact sets has nonempty intersectionConnectionsInternational Standard Book NumberEntityreal numberEntityrational numberEntityGeorg CantorEntitydiameterEntitysequenceEntitymetric spaceEntitytopological spaceEntitycauchy sequenceEntitylimit of a sequenceEntityreal analysisEntityQ.E.D.EntityMathWorldEntitycompact spaceEntityCantor setEntitygeneral topologyEntityHausdorff spaceEntityclosed setEntitycomplete metric spaceEntitybounded setEntityCategoriesCompactness theoremsReal analysisTheorems in calculus