全単射があれば整列順序は得られるし
具体的な全単射があれば具体的な整列順序が得られるというだけの話じゃないの