MDLUL/numerische Funktion

Start=numerische Funktion

MDLUL/numerische Funktion

Ziel=Numerischer Abschluss von R/Borel-Mengen/Bemerkung