数学の本　第80巻

川崎徹郎著『位相空間 例と演習』

「基本近傍系 N(p) が与えられると、 U が開集合であることは

∀p ∈ U, ∃N ∈ N(p); N ⊂ U

により定まる。」

という記述がありますが、何が言いたいのか分からない日本語ですよね。

U が開集合であれば、 ∀p ∈ U, ∃N ∈ N(p); N ⊂ U が成り立つということが言いたいのでしょうが。