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