>>727の修正

命題
Galois対応 π：X ⇒ Y (>>720)は
次のGalois対応の合成(>>724)と同値(>>729)である。

X ⇒ X^π ⇒ Y_π ⇒ Y

ここで、X ⇒ X^π は閉包対応(>>667)であり、X^π ⇒ Y_π は同値(>>726)、
Y_π ⇒ Y は開核対応(>>667)である。

証明
>>696と>>698より明らかである。