Geordnete Menge/Induktiv geordnet/Definition/Begriff

Eine induktiv geordnete Menge .