theorem Th12: :: METRIZTS:12

for T being TopSpace
for A being Subset of T st T is T_1 & A is discrete holds
A is open Subset of (T | (Cl A))