theorem :: TOPGEN_2:27

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