Cho f,g là hai hàm thực xác định trên một tập hợp X được lọc bởi một bộ lọc F. Chứng minh rằng
limFsup(sup(f,g))=sup(limFsupf,limFsupg). Cho một ví dụ về một tập hợp
X được lọc bởi một bộ lọc
F, và một họ vô hạn
(fi) các hàm thực xác định trên
X, sao cho
lsup(limFsupfi)<limFsup(supfi).