MDLUL/Endliche Menge