Theorem 3.18. Let A ⊂ G be a set, a

Theorem 3.18. Let A ⊂ G be a set, and let i be the largest element of G with A

Kết quả (Việt) 1:

Định lý 3,18. Hãy để một ⊂ G là một tập hợp, và hãy để tôi là các yếu tố lớn nhất của G với A Do đó, đối với một nhất định tập A ⊂ G chúng tôi có thể nhiều mức độ tiếp theo để lectic theo cách sau. Chúng tôi đã liên tục kiểm tra cho tất cả các yếu tố i ∈ GA, bắt đầu với các yếu tố lớn nhất và tiếp tục trong giảm thứ tự, cho dù A Sơ đồ có nhãn khổ. Lưới khái niệm của bối cảnh trong bảng 3.2 xuất hiện trong hình 3,18 là một sơ đồ có nhãn khổ. Một phần tử có nhãn bởi một ob ject g đại diện cho các khái niệm với mức độ nhỏ nhất có g, trong khi một phần tử có nhãn bởi một m thuộc tính đại diện cho các khái niệm với mục đích nhỏ nhất có m. Trong phạm vi của khái niệm mỗi có thể được thu được bằng cách thu thập tất cả ob jects mà có thể đến bằng đường dẫn giảm dần, và ngược lại, mục đích có thể được thu được dually bằng cách thu thập tất cả các thuộc tính mà có thể đạt được bằng tăng dần các đường dẫn.

Kết quả (Việt) 2:

Định lý 3.18. Cho A ⊂ G là một tập hợp, và để cho tôi là yếu tố lớn nhất của G với A
Do đó, đối với một định đặt A G ⊂ chúng ta có thể fi nd mức độ tiếp theo nhằm lectic theo cách sau. Chúng tôi liên tục kiểm tra cho mọi thành phần i ∈ G A, bắt đầu với các phần tử lớn nhất và tiếp tục vào thứ tự giảm dần, cho dù A
Dòng Diagrams đã được gán nhãn. Khái niệm mạng tinh thể của bối cảnh trong Bảng 3.2 được biểu diễn trong hình 3.18 như là một sơ đồ có nhãn. Một yếu tố gắn nhãn bởi một ob ject g đại diện cho khái niệm này với mức độ nhỏ nhất chứa g, trong khi một phần tử có nhãn bởi một thuộc tính m đại diện cho các khái niệm với ý định nhỏ nhất chứa m. Các mức độ của từng khái niệm có thể thu được bằng cách thu thập tất cả các jects ob mà có thể đạt được bằng con đường giảm dần, và ngược lại, mục đích có thể thu được bằng cách thu thập tất cả các dually thuộc tính mà có thể đạt được bằng cách tăng dần đường dẫn.