Предполный класс булевых функций

Предпо́лный класс бу́левых фу́нкций, набор функций из $P_2$ такой, что при замыкании объединения этого набора и любой функции из $P_2$, не лежащей в нём, получают всё $P_2$. Иными словами, объединение $U \bigcup \{f\}$ данного класса $U$ с функцией $f$, в нём не лежащей, даёт полный класс, или, что то же самое, полную систему, т. е. $[U\bigcup \{f\}] = P_2$. Предполные классы булевых функций называют также классами Поста.