Nechť { [ a n , b n ] } n = 1 ∞ {\displaystyle \{[a_{n},b_{n}]\}_{n=1}^{\infty }} je posloupnost uzavřených intervalu splňující
pak je množina ⋂ n = 1 ∞ [ a n , b n ] {\displaystyle \bigcap _{n=1}^{\infty }[a_{n},b_{n}]} jednobodová.
![{\displaystyle \{[a_{n},b_{n}]\}_{n=1}^{\infty }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/718338ceefd72e73db040f23b7ff29e7e286a68d)
je posloupnost uzavřených intervalu splňující
platí ![{\displaystyle [a_{n+1},b_{n+1}]\subseteq [a_{n},b_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0ce3eafb6d60faff4b75caadaedc8a535bbda3fa)
,
,![{\displaystyle \bigcap _{n=1}^{\infty }[a_{n},b_{n}]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/11d29618ca4cc6e73df2a688c56e26cb1b786d9b)
jednobodová.
