フレシェ空間
樽型空間 "X" からフレシェ空間へ "Y" の線形作用素が連続であるための必要十分条件は、そのグラフが直積位相を備えた空間 "X"×"Y" において閉であることである。