>>155
f∈Uはこの場合、fが微分可能な実関数であることを指している。
和について閉じているとは、f,g∈Uとなるどんなf,gについてもf+g∈Uとなること、
つまり微分可能な二つの実関数を足したものは、微分可能な実関数になること。