ガロア接続
(A, ≤) と (B, ≤) の2つを半順序集合とする。これら半順序集合の間の単調ガロア接続(monotone Galois connection)とは2つの単調関数 F : A → B と G : B → A で以下を満たすものを言う。
任意の a ∈ A , b ∈ B に対して、F(a) ≤ b のときかつそのときに限り a ≤ G(b) が成り立つ。
このとき F は G の下随伴(lower adjoint)、G は F の上随伴(upper adjoint)と呼ばれる。
上(upper)/下(lower)の用語は順序 ≤ に関連した関数を適用した位置を参照したものと覚えると良い。随伴(adjoint)の用語は、単調ガロア接続は圏論における随伴関手の対の特別なケースであることを指している。