Об одной алгебре изображений

Рассматривается алгебра формализованных плоских изображений с полной системой бинарных булевых операций $(\&,\vee,\neg)$, выполняемых поточечно. Найдены минимальное и максимальное значение мощности базиса. Получено описание канонических систем образующих для подалгебр, в терминах которых сформулирован критерий максимальности (предполноты) подалгебры.