Menge/Ausschöpfung/Definition

Ausschöpfung

Sei eine Menge und sei , , eine Folge von Teilmengen in mit für alle . Es sei . Dann sagt man, dass diese Folge eine Ausschöpfung von bildet (oder ausschöpft), und schreibt dafür .