記法
π = (X, f, g, Y) をGalois対応(>>642)とする。
この事実を π：X ⇒ Y または X ⇒ Y と書く。
次のように書く場合もある。

　π
X ⇒ Y