Suppose that we are able to compute

Suppose that we are able to compute for any given set A ⊂ G the smallest extent of a context which is larger than A with respect to the lectic order. Then there is an obvious algorithm to compute all extents. The smallest
extent is ∅ . We get all other extents if we determine successively from the
last found extent the next one in lectic order. The process terminates with the largest extent, namely G.

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

Giả sử rằng chúng tôi có thể tính toán cho bất kỳ tập hợp một ⊂ G mức độ nhỏ nhất của một bối cảnh mà là lớn hơn A đối với thứ tự lectic. Sau đó có là một thuật toán rõ ràng để tính toán tất cả extents. Nhỏ nhấtmức độ là ∅. Chúng tôi nhận được tất cả các extents khác nếu chúng tôi xác định liên tục từ cáccuối tìm thấy mức độ một kế tiếp theo thứ tự lectic. Quá trình kết thúc với mức độ lớn nhất, cụ thể là G.

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

Giả sử rằng chúng ta có thể tính toán cho bất kỳ được thiết lập A ⊂ G mức độ nhỏ nhất của một bối cảnh mà là lớn hơn so với A đối với các đơn đặt hàng lectic với. Sau đó, có một thuật toán rõ ràng để tính toán tất cả các phạm vi. Nhỏ nhất
mức độ nào là ∅. Chúng tôi nhận được tất cả các vùng khác nếu chúng ta xác định liên tục từ các
mức độ phát hiện cuối cùng trong những kế tiếp để lectic. Quá trình này kết thúc với mức độ lớn nhất, cụ thể là G.