theorem :: RLTOPSP1:60

for X being LinearTopSpace
for A being Subset of X holds Cl A = meet { (A + V) where V is a_neighborhood of 0. X : verum }