Menge/Ausschöpfung/Definition
Ausschöpfung
Es 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 .
Es 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
.