Пусть P2 – множество всез булевых формул, а М – его подмножество.
Определение. Множество М называется замкнутом если его логическая оболочка совпадает с самим М, называется полным . если Р(М) = Р2.
Примеры
1. М ={0, 1}.
M – замкнуто и неполно.
2. М = Р2
- замкнуто и полно.
3. М =
- незамкнуто и полно.