Definition:Everywhere Dense in Normed Vector Space