Fréchet space
A topological vector space formula_1 is a Fréchet space if and only if it satisfies the following three properties: