有限集合と無限集合で「xの次に大きな」の意味が違うってこと?