omochimetaru 8/9/2017 5:44 AM

え、 2..<2 は空集合じゃなくて

5:44 AM

2の点だけを含むんじゃないんですか？