>>32はなかなか味わいのある定義だと思うぞ

なぜなら、無限集合とは、「有限集合ではない集合」であるために
その要素には『最大値となる要素が無い』ということになるわけだからな