1
Đây có phải là một điều kiện tương đương cho các posets đại số?
Định nghĩa của "poset đại số" trong Mạng và miền liên tục , Định nghĩa I-4.2, nói rằng, với mọi ,x∈Lx∈Lx \in L tập hợp phải là tập hợp có hướng vàA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) . Ở đây là một poset, …