Означення.Нехай – деяка підмножина множини всіх булевих функцій . Замиканням множини називається множина всіх булевих функцій, які можна виразити формулами над . Замикання множини позначається .
Відзначимо наступні властивості замикання:
1. .
2. .
3. Якщо , то .
Означення.Множина функцій називається (функціонально) замкненим класом, якщо .