Читаю статью
Алгебра_(универсальная_алгебра)и там говорится, что подалгебры образуют полную решетку (то что она полная - в Артамонове прочитал).
Ну, что пересечение подалгебр это подалгебра - это понятно.
А что будет являться "объединением" подалгебр в этой полной решетке?
И попутно второй вопрос: является ли полная решетка булевой алгеброй?