nonempty set - German English Dictionary