"Banach set" Deutsche bedeutung