MDLUL/endlich (messbare Menge)

Start=endlich (messbare Menge)

MDLUL/endlich (messbare Menge)

Ziel=Prämaß/Endlich/Definition