Решётка (алгебра)

Связь между этими двумя определениями устанавливается при помощи формул:

Любое подмножество элементов цепи является её подрешёткой (не обязательно выпуклой). Все подрешётки данной решётки, упорядоченные отношением включения, образуют решётку.

Обычные введения в предмет, несколько более сложные, чем указанный выше: