>>92
レスありがとうございます。
どうやら、「有限部分集合全体」のところで勘違いしていたようです。
自然数Nの一部として抽出された有限集合に対しての、部分集合全体、というような
捉え方をしていました。