Start=endlich (sigma)

MDLUL/endlich (sigma)

Ziel=Prämaß/Sigma-endlich/Definition