A product term that covers at least one of the standard sum of product terms in a Boolean function, but will introduce no new (unwanted) standard sum of product terms.

A prime implicant is an implicant that includes a standard product of a function that is not otherwise included.