上述のように、二つのノルム空間 "x" と "y" の間の線形作用素 "l" が有界であることと、連続であることは必要十分である。