MDLUL/Infimum (Ordnung)

Start=Infimum (Ordnung)

MDLUL/Infimum (Ordnung)

Ziel=Geordnete Menge/Teilmenge/Infimum/Definition