順序数全体のクラスをOR

全単射 OR×OR→OR の構成法が乗ってる本ある?