"upper semicontinous function" Deutsche bedeutung