گراف g را با مجموعه رئوس و یالهای v وe در نظر بگیرید توابع f و g را به ترتیب از v و e به {1-و1} تعریف کنید.تابع g را یک تابع k-زیراحاطه گر تام یالی علامتدار است هرگاه بر ای حداقل k یال از g مجموع وزن یالهای موجود در همسایگی یالی باز آنها بزرگتر یا مساوی یک باشد. مینیمم وزن g از g را عدد k-زیراحاطه ای تام یالی علامتدار تابع f را یک تابع بد گویند هرگاه بازای هر راس از g مجموع وزن رئوس موجود در همسایگی باز آنها کوچکتر یا مساوی یک باشد. مینیمم وزن f را عدد تصمیم منفی گویند.تابع h از e به {1-و0و1} تابع k -زیراحاطه گر یالی منفی است هرگاه بر ای حداقل k یال از g مجموع وزن یالهای موجود در همسایگی یالی آنها بزرگتر یا مساوی یک باشد. مینیمم وزن h از g عدد k -زیراحاطه ای یالی منفی است.