"wohl-geordnete Menge" Englisch