در گراف دو بخشی G=(V,E) دو بخش گراف U و W هستند. د رنگآمیزی یالی معتبر c که به هر یال e در گراف c(e) را نسبت میدهد به طوری که دو یال مجاور همرنگ نباشند، میگوییم یال e یال e′ را رویت میکند، اگر e و e′ در راس v مشترک باشند و یکی از دو شرط زیر برقرار باشد:
اگر S زیرمجموعهای از یالها باشد، ثابت کنید جورسازی (تطابق) M⊂S وجود دارد به طوری که به ازای هر یالی مثل e از S یالی از M وجود داشته باشد که e آن را رویت کند.