MDLUL/kompakter (Topologie)