Cantor's intersection theorem: Difference between revisions

Content deleted Content added
Topological Statement: slight (reasonably inconsequential) change in notation
Adding local short description: "On decreasing nested sequences of non-empty compact sets", overriding Wikidata description "theorem" (Shortdesc helper)
Line 1:
{{short description|On decreasing nested sequences of non-empty compact sets}}
'''Cantor's intersection theorem''' refers to two closely related theorems in [[general topology]] and [[real analysis]], named after [[Georg Cantor]], about intersections of decreasing nested [[sequence|sequences]] of non-empty compact sets.