MDLUL/unten beschränkt

Start=unten beschränkt

MDLUL/unten beschränkt

Ziel=Angeordneter_Körper/Teilmenge/Nach_unten_beschränkt/Definition