可算順序数αからRへの順序写像f:α→Rで
極限順序数β<αについて
f(β)=sup{f(γ)|γ<β}を満たすものってどう作るの？