Normed vector space/Metric space/Fact
< Normed vector space < Metric space
A normed vector space is with the corresponding metric
a
metric space.
A
normed vector space
is with the
corresponding metric