Start=offen (K)

MDLUL/offen (K)

Ziel=KRC/Offene Teilmenge/Definition