Menge/Schrumpfung/Definition

Schrumpfung

Es sei eine Menge und sei , , eine Folge von Teilmengen in mit für alle . Es sei . Dann sagt man, dass diese Folge eine Schrumpfung von bildet (oder gegen schrumpft), und schreibt dafür .