设 是两个拓扑空间, 是一个映射,若 中任何一个开 集 的象集 是 中的一个开集,则称映射 是开映射( )。