連続写像
∀ V ∈ N ( f ( a ) ) ∃ W ∈ N ( a ) [ f ( W ) ⊂ V ] {\displaystyle \forall V\in {\mathcal {N}}(f(a))\;\exists W\in {\mathcal {N}}(a)\;{\bigl [}f(W)\subset V{\bigr ]}}
(f(a) の任意の近傍 V は a のある近傍 W の像を包む)
あるいは
∀ V ∈ N ( f ( a ) ) ∃ W ∈ N ( a ) [ W ⊂ f − 1 ( V ) ] {\displaystyle \forall V\in {\mathcal {N}}(f(a))\;\exists W\in {\mathcal {N}}(a)\;{\bigl [}W\subset f^{-1}(V){\bigr ]}}
(f(a) の任意の近傍 V の逆像は a のある近傍 W を包む)
とあらわすことができる。特に後者はより短く
∀ V ∈ N ( f ( a ) ) [ f − 1 ( V ) ∈ N ( a ) ] {\displaystyle \forall V\in {\mathcal {N}}(f(a))\;{\bigl [}f^{-1}(V)\in {\mathcal {N}}(a){\bigr ]}}
(f(a) の任意の近傍 V の逆像は a の近傍である)
と表すこともできる。