Начало см. здесь.

Биркгоф Г.  Теория решеток.

Пер. с англ., М.: Наука, 1984, сс. 202 — 205.

Упражнения 6 и 7 из Параграфа 6 см. здесь и здесь.