for X, x0 being set
for A being Subset of (DiscrWithInfin (X,x0)) st A is finite holds
Cl A = A