x→|x| も x→(x | u1) も、単射じゃないから逆写像つくれないと思う
ほかの方法があるってこと?