All Banach spaces and Fréchet spaces are F-spaces. In particular, a Banach space is an F-space with an additional requirement that d(a x, 0) = |a| d(x, 0).Dunford N., Schwartz J.T. (1958). Linear operators. Part I: general theory. Interscience publishers, inc., New York. p. 59
