Bản đồ định nghĩa 5.2 F: X ⊆ E → E được gọi là k-tập contractive(ở đây k ≥ 0 là một hằng số) nếu α (F (Y)) ≤ kα (Y) cho tất cả các đơn vị giáp ranh bộY ⊆
Định nghĩa 5.2 Một bản đồ F: X ⊆ E → E được cho là k-thiết là bảo thủ (ở đây k ≥ 0 là một hằng số) nếu α (F (Y)) ≤ kα (Y) cho tất cả các giới hạn bộ Y ⊆