theorem Th22: :: TOPGEN_2:22

for X, x0, x being set st x in X & x <> x0 holds
{x} is open Subset of (DiscrWithInfin (X,x0))