MDLUL/kompakten (Topologie)