おそらく何か誤解があるようだね。
有限集合を定義した上で、それ以外を無限集合と定義する、という文脈であることは分かってるのかな。