MDLUL/kompakt (Topologie)