>>629
>自由超フィルターF
これでは足りない気がする
N上の自由超フィルターの拡張にしたいから
R>0の有界区間をすべて含まない
という性質がいるんじゃ無いかな
分からんけど