Definition 5.1 (Galois Connection/Insertion). Let (C, ⊆) and (A, ⊑) be two complete lattices. [...] ⊑ denotes the order relation for lattice A.
確定! 回上一頁