あってるかどうかお願い


問題：集合X,Yと二つの単射f:X→Y g:Y→Xが与えられたとき
次の条件を満たす全単射h:X→Yが存在することを証明せよ
条件：h(x)=y⇒f(x)=yまたはg(y)=x

条件を言いかえて
h(x)=y⇒f(x)=yまたはg-1(x)=y
これを示す

Y-f(X)=B1
X-g(B1)=A1
Y-f(A1)=B2
Y-f(An)=Bn+1
X-g(Bn+1)=An+1 とおく
あるnに対しx∈An^c⇒h(x)=g-1(x)
とおくと、h(An^c)=Bn

x∈(∩{k=1∞}Ak)^c⇒h(x)=g-1(x)
x∈(∩{k=1∞}Ak)⇒h(x)=f(x)
と定めるとこれが全単射であることを示す

g-1((∩{k=1∞}Ak)^c)=∪{k=1∞}Bk
また
∪{k=1∞}Bk=Y-f(∩{k=1∞}Ak)
(∪{k=1∞}Bk)^c=f(∩{k=1∞}Ak)
であるから証明終わり