Решетки (структуры)
На непустом множестве X задан частичный порядок ≤, если выделено множество пар элементов x≤y, причем если x≤y≤z, то x≤z. Кроме того, x≤x, и если x≤y≤x, то x=y. Частично упорядоченное множество называется решеткой, если для любых элементов x,y существуют элементы m=x˄y, M=x˅y, что m≤x,y≤M, и если для каких-то элементов m’, M’ выполнены неравенства m’≤x,y≤M’, то m’ ≤m ,M≤M’.