Geordnete Menge/Induktiv geordnet/Definition/Begriff