MDLUL/entscheidbare Relation