定義
X と Y を前順序集合(過去スレ008の139)とし、
f：X → Y を写像とする。
Galois対応(>>642) Γ = (X, f, g, Y) があるとき f を左随伴写像または左随伴と言う。
Galois対応(>>642) Γ = (X, g, f, Y) があるとき f を右随伴写像または右随伴と言う。