Cantor's intersection theorem

Cantor's intersection theorem, also called Cantor's nested intervals theorem, refers to two closely related theorems in general topology and real analysis, named after Georg Cantor, about intersections of decreasing nested sequences of non-empty compact sets.