Skip to content
EntityQ1050203· pop 13· linked from 9 articles

Cantor's intersection theorem

Sign in to save

theorem that a decreasing nested sequences of nonempty closed compact sets has nonempty intersection