"nonempty set" Deutsche bedeutung