>>41
開集合の定義は何?