開集合は、その境界上にある点を自分自身は含まない集合。あるいはその任意の点の十分小さな近傍をそれ自身に必ず含む集合のこと、で良いんですよね？