A lattice is modular if and only if the diamond isomorphism theorem holds for every pair of elements.
Ґратка є модулярною тоді і тільки тоді, коли теорема алмазів ізоморфізму існує для будь-якої пари елементів.