MDLUL/Trennungseigenschaft (T0)