Та виконанням умови: якщо a ≤ b, то: a ∧ b = a, a ∨ b = b. Теорема Стоуна Ґратка є дистрибутивною тоді і тільки тоді, коли вона ізоморфна деякому кільцю множин. Ґратка є булевою алгеброю тоді і тільки тоді, коли вона ізоморфна деякому полю множин. Примітки Див. також Ґратка з діленням Ґратка (геометрія)