Kuratowski's intersection theorem

In mathematics, Kuratowski's intersection theorem is a result in general topology that gives a sufficient condition for a nested sequence of sets to have a non-empty intersection. Kuratowski's result is a generalisation of Cantor's intersection theorem.

Source: Wikipedia — Kuratowski's intersection theorem (CC BY-SA 4.0)