هو مصطلح يُستخدم في مجالات متعددة مثل علم الحاسوب والرياضيات وعلم المعلومات وغيرها. يُشير إلى خاصية مفهومية تتمثل في أنه إذا كان عنصر معين ينتمي إلى مجموعة ما، فجميع العناصر الأصغر منه أيضًا يجب أن تنتمي لهذه المجموعة.
الاغلاق الهابط (Downward Closure)
