well-ordered set - German English Dictionary