MDLUL/Transitivitätsaxiom