open set

• A shrinking of an open cover is another open cover indexed by the same indexing set, with the property that the closure of each open set in the shrinking lies inside the corresponding original open set.
  ويعد انكماش الغطاء المفتوح غطاءً مفتوحًا آخر مفهرسًا من خلال نفس مجموعة الفهرسة، مع وجود خاصية أن إغلاق كل مجموعة مفتوحة في الانكماش يقع داخل المجموعة المفتوحة الأصلية المقابلة.