Start=Modellbeziehung

MDLUL/Modellbeziehung

Ziel=Mathematische_Logik/Modellbeziehung/Definition