>>963
それは集合
0<∃r<1