Sei ${\displaystyle {}M}$ eine Menge und sei ${\displaystyle {}T_{n}}$, ${\displaystyle {}n\in \mathbb {N} }$, eine Folge von Teilmengen in ${\displaystyle {}M}$ mit ${\displaystyle {}T_{n}\supseteq T_{n+1}}$ für alle ${\displaystyle {}n\in \mathbb {N} }$. Es sei ${\displaystyle {}T=\bigcap _{n\in \mathbb {N} }T_{n}}$. Dann sagt man, dass diese Folge eine Schrumpfung von ${\displaystyle {}T}$ bildet (oder gegen ${\displaystyle {}T}$ schrumpft), und schreibt dafür ${\displaystyle {}T_{n}\downarrow T}$.