> [!definition] > > Let $E$ be a [[Quasi-Norm|quasi-normed]] [[Topological Vector Space|topological vector space]], then $E$ is a **F-space** if $E$ is [[Complete Metric Space|complete]].