MDLUL/kompakt konvergent