Start=endlich (Sigma)

MDLUL/endlich (Sigma)

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