Start=Infimum (R)

MDLUL/Infimum (R)

Ziel=Reelle Zahlen/Teilmenge/Infimum/Definition