MDLD/closed interval (R)

Start=closed interval (R) Target=Real numbers/Intervals/Definition