Lý thuyết đã ra lệnh tập hợp và lưới đã trở thành một kỷ luật cơ bản trong toán học hiện đại. Trong nhiều trường hợp một biểu đồ được tạo ra từ một đại diện trừu tượng của một (hoặc một tập lệnh) là một trợ giúp quan trọng cho Liên Hiệp Quốc derstanding của cấu trúc của nó. Vì vậy, các nhà nghiên cứu khá thường xuyên sử dụng sơ đồ để đạt được những hiểu biết cấu trúc về lưới. Bên cạnh đó các ứng dụng bên trong toán học, sự cần thiết thực tế cho bản vẽ phát sinh trong lập kế hoạch, trong đồ họa phân tích dữ liệu thống kê, và phân tích chính thức khái niệm, nơi "các sơ đồ nên không chỉ reflect cấu trúc của một khái niệm lưới nhưng cũng mở ra lần xem d cho giải thích các dữ liệu" (Wille, 1989).Lưới thường được đại diện bởi hierarchically lớp bản vẽ. Một chương đầy đủ của cuốn sách này (chương 5) được dành cho các phương pháp tổng quát trong lớp. Những phương pháp này thường mất tùy ý chữ ghép như trong-đặt, nhưng là, tất nhiên, rất phù hợp cho chữ ghép acyclic liên quan đến đặt hàng bộ. Trong phần này chúng tôi sẽ chỉ giới thiệu khái niệm chung của một sơ đồ đặt hàng bộ nhưng sau đó chuyên điều trị của chúng tôi để các kết quả cho lưới. Đặc biệt, chúng tôi thảo luận chi tiết hơn mối quan hệ của lưới và planarity ở phụ 3.3.2, và việc áp dụng các lưới trong phân tích chính thức khái niệm trong tiểu mục 3.3.3.
đang được dịch, vui lòng đợi..
