Proof. Let D be !-dense. Then c!(D)

Proof. Let D be !-dense. Then c!(D) = X. Let O be any nonempty !-
open set in (X, !). If possible suppose that O ∩ D = . Then for x ∈ O,
x /∈ c!(D) = X, a contradiction.

ผลลัพธ์ (ไทย) 1:

หลักฐาน ให้ D เป็น! -หนาแน่น แล้ว c (D) = X ให้ O เป็น nonempty ใด ๆ ! -เปิดใน (X,) สมมติว่า ถ้าเป็นไปได้ ที่ O ∩ D = แล้วสำหรับ x ∈ Ox /∈ c (D) = X ความขัดแย้ง

ผลลัพธ์ (ไทย) 2:

พิสูจน์ ให้ D เป็น! -dense แล้ว c (D) = X. ให้ O จะว่างใด ๆ -!
(! X) ชุดที่เปิดใน ถ้าเป็นไปได้คิดว่า O ∩ D =? แล้วสำหรับ x ∈ O,
X / C ∈! (D) = x, ความขัดแย้ง