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

Phép toán hai ngôi
Lý thuyết thứ tự