در منطق بولی٬ ایجاب کننده (شامل یا فراگیرنده یا Implicant)، پوششِ (جمله جمعی یا جمله ضربی) یک یا چند مینترم در مجموع حاصلضربها (یا ماکسترم در حاصلضرب مجموع ها)ی یک تابع بولی می باشد. به طور کلی٬ دریک جمله ضربی مانند P، در مجموع حاصلضربها فراگیرنده (شامل یا Implicant) تابع بولی F است اگر F ،P را نتیجه دهد.F یک تابع بولی از n متغیر می باشد(Boolean function).P یک عبارت حاصل ضرب می باشد(Product term)....