上昇列として0<1<2<...の表記にこだわってるけど、上昇列の表記として集合表記{0,1,2,...}がある時点でもうこの話終わってるよね