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