Nối và gặp

Trong toán học, đặc biệt là lý thuyết thứ tự, gặp và nối của một tập con S trong một tập sắp thứ tự từng phần P lần lượt là supremum của S, ký hiệu là ⋁S, và infimum của S, ký hiệu là ⋀S. Nhìn chung, không phải lúc nào chúng cũng tồn tại.

Một tập sắp thứ tự một phần mà một cặp phần tử luôn có gặp và nối được gọi là một dàn.

Một tập sắp thứ tự một phần mà mọi tập con đều có gặp và nối được gọi là một dàn đầy đủ.

Tham khảo

• Davey, B.A.; Priestley, H.A. (2002). Introduction to Lattices and Order (2nd ed.). Cambridge: Cambridge University Press. ISBN 0-521-78451-4. Zbl 1002.06001
• Vickers, Steven (1989). Topology via Logic. Cambridge Tracts in Theoretic Computer Science. 5. ISBN 0-521-36062-5. Zbl 0668.54001