theorem :: NORMSP_3:19

for X being RealNormSpace
for R, S being Subset of X st R is dense & S is dense & S is open holds
R /\ S is dense