集合関数の例:「区間の長さ」

集合関数の例としての「区間の長さ」についてのノート。メンテ了。