theorem :: NORMSP_3:16

for X being RealNormSpace
for R, S being Subset of X st R is dense & R c= S holds
S is dense