متن زیر چه موضوعی را مورد بحث قرار داده است؟

متن: قضیه هال یا قضیه هال (۱۹۳۵) قضیه‌ای مربوط به شاخه ترکیبیات و قضیه گراف در ریاضی است. این قضیه که به ریاضی‌دان انگلیسی، فیلیپ هال نسبت داده می‌شود، شرط لازم و کافی برای وجود تطابق کامل در گراف‌های دوبخشی را بیان می‌کند. گراف‌های دوبخشی به گراف‌هایی گفته می‌شوند که رأس‌ها به دو دسته مجزا قابل افراز هستند بگونه‌ای که تمامی یال‌های گراف بین گره‌های بین دو دسته مختلف باشند. 
موضوع:
قضيهٔ هال