●ルに引導

１．Aを整列するのに、P(A)-φからAへの選択関数fは必要だが、P(A)-φ全体の整列など不要
２．上記の選択関数fを決めれば、Aの整列は一意に決まるが、逆にAの整列から、上記の選択関数fは一意に決まらない