theorem :: TOPGEN_2:21

for X, x0, x being set st x in X holds
{x} is closed Subset of (DiscrWithInfin (X,x0))