Start=Rand (mr)

MDLUL/Rand (mr)

Ziel=Metrischer Raum/Teilmenge/Rand/Definition