Start=messbare (Menge)

MDLUL/messbare (Menge)

Ziel=Sigmaalgebra/Messbare Menge/Definition