とくに計算可能ナンバリングの全体について半順序反映を取ったものをrogers半束という。