"well ordered set" Deutsche bedeutung