"formal set" Deutsche bedeutung