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