Классы Шефера, классы Поста и соответствия Галуа

Рассматривается универсальная алгебра на множестве булевых функций с операциями конъюнкции функций, проектирования по переменной и перестановки переменных. Определен вид функций, образующих подалгебры этой универсальной алгебры. Отмечено, что подалгебры рассматриваемой алгебры находятся в соответствии Галуа с подалгебрами итеративной алгебры Поста, что связывает результаты статьи с ранее известными работами по классам Поста.