Normed vector space/Metric space/Fact

< Normed vector space < Metric space