函数 "f" が上半連続函数となるための必要十分条件は、集合{"x" ∈ "x" : "f"("x")&lt; α}がいずれの α ∈ rについても開集合となることである。