Замкнутость предполных классов

[purser]

В учебнике Яблонского "Введение в дискретную математику" дается определение предполного класса:
"Класс функций из P2 называется предполным, если он неполный, а при добавлении любой функции не из этого класса он становится полным.
Из определения следует, что предполный класс является замкнутым".

Мне непонятно откуда следует замкнутость ? Возьмем к примеру класс из одной конъюнкции {X^Y} . Он, очевидно неполный и незамкнутый. Но
при добавлении в него функции "отрицание X" он становится полным.
Объясните, пожалуйста, является ли предполный класс замкнутым.

[Xaositect]

Там написано "любой функции". Если класс $F$ незамкнут и неполон, то при добавлении любой функции из $[F]\setminus F$ он останется неполным.