MDLUL/induktiv geordnet

Start=induktiv geordnet

MDLUL/induktiv geordnet

Ziel=Geordnete Menge/Induktiv geordnet/Definition