Mengenausschöpfung/Subgraphen der Indikatorfunktionen/Aufgabe/Lösung


Der Subgraph zur Indikatorfunktion ist

Wegen ist somit auch . Offenbar ist . Für ein beliebiges gibt es aufgrund der Ausschöpfungseigenschaft ein mit . Für dieses ist auch , sodass gilt. Also liegt eine Ausschöpfung vor.