Khác biệt giữa bản sửa đổi của “Cận trên đúng”

Một tính chất cơ bản của cận trên đúng là

Nếu trong một tập được sắp từng phần ''P'', mọi tập con bị chặn của nó đều có cận trên đúng, thì điều này cũng áp dụng được cho mọi tập ''X'', trong không gian hàm chứa tất cả các hàm từ ''X'' đến ''P'', trong đó quiquy định ''f'' ≤ ''g'' nếu và chỉ nếu ''f(x)'' ≤ ''g(x)'' với mọi ''x'' trong ''X''. Lấy ví dụ, điều này áp dụng cho các hàm thực, và từ đó có thể khảo sát cho các trường hợp hàm đặc biệt, cho ống-''n''-thực và dãy các số thực.