関数f:X→Yが開であることとすべてのx∈Xとxのすべての（いくらでも小さい）近傍Uに対してf(x)のある近傍Vが存在してV⊂f(U)であることは同値である。
一个映射f:X→Y是开映射当且仅当对X中每一点x及其任何（任意小的）邻域U，都存在f(x)的邻域V使得V⊂f(U)。