6.3.2 邻域定义的基本形式