open-hull neighborhood local hypopara- compact space

• 邻域开包局部亚紧空间