http://ysserve.wakasato.jp/Lecture/SetTheory3/settheory03/node16.html
ʂ̃TCgɃWv悤ƂĂ܂BXΏL̃NNbNĂ
UPLIFTōLȂő̌܂傤IKȉ{Ct܂I