Induktiv geordnete Menge