theorem :: TEX_1:16

for X being non empty discrete TopSpace
for A being Subset of X holds
( Cl A = A & Int A = A ) by TDLAT_3:16, TDLAT_3:15, PRE_TOPC:22, TOPS_1:23;