MDLUL/endliche Menge