Модулярна ґратка — для довільного виконується Властивості Для довільного виконується це доводиться обчисленням виразу при та Приклади множина всіх підмножин даної множини, впорядкована за включенням; ; будь-яка лінійно впорядкована множина; причому якщо , то ; множина всіх підпросторів векторного простору, упорядкованих за включенням, де — перетин, а — сума відповідних підпросторів; множина всіх невід'ємних цілих чисел, упорядкованих за подільністю: , якщо для деякого . Тут — найменше спільне кратне, а — найбільший спільний дільник даних чисел;