matching
تطابق
forcing set
مجموعه تحمیلی