Nối và gặp

Bách khoa toàn thư mở Wikipedia
Bước tới điều hướng Bước tới tìm kiếm

Trong toán học, đặc biệt là lý thuyết thứ tự, gặpnố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,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[sửa | sửa mã nguồn]

  • 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