MDLUL/abgeschlossenes Einheitsintervall

Start=abgeschlossenes Einheitsintervall

MDLUL/abgeschlossenes Einheitsintervall

Ziel=Angeordneter Körper/Abgeschlossenes Intervall/Definition