MDLUL/kompakte (Topologie)