MDLUL/abgeschlossener Untervektorraum