Картинки из квадратов \ Теоретико-множественная математика \ Математические системы \ Универсальная алгебра \ Универсальная алгебра (Г. Биркгоф) \ Свободные алгебры слов \

9.5.3.2.6.7. Упражнение 7

Начало см. здесь и здесь.
Биркгоф Г.  Теория решеток.
Пер. с англ., М.: Наука, 1984, с. 188.
Продолжение см. здесь.