Start=offene (K)

MDLUL/offene (K)

Siehe=offen (K)
MDLUL/offen (K)
Ziel=KRC/Offene Teilmenge/Definition