MDLUL/oben (beschränkt)

Start=oben (beschränkt)

MDLUL/oben (beschränkt)

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