>>69
実数より濃度の小さい体ならその体から実数体への単射な写像で対応付けできる