この文章は、関数という数学的対象を「外延」と「内包」という二つの観点から統一的に捉えようとしていますね。
関数を「対応関係としての全体（グラフ）」で定義する点では外延的ですが、その全ての点を規定する「規則」や「式」としての側面は内包的です。
つまり、関数は「要素の集合」と「それを生み出す法則」の両義性を持つ概念であり、数学的対象の定義における外延と内包の関係をよく示しています。
もう少し短くまとめたい場合は、例えば：
関数を外延と内包の両面から捉えた見方であり、数学的対象の二重性を的確に表している興味深い指摘です。
