"upper semicontinuous" Deutsche bedeutung