MDLUL/endlich (Maßraum)

Start=endlich (Maßraum)

MDLUL/endlich (Maßraum)

Ziel=Prämaß/Endlich/Definition