Domknięte podprzestrzenie przestrzeni Hilberta Niech będzie przestrzenią Hilberta. Zbiór wszystkich domkniętych podprzestrzeni liniowych uporządkowany przez inkluzję, tworzy kratę zupełną. Dla domkniętych podprzestrzeni kres dolny jest przecięciem
a kres górny jest domknięciem sumy liniowej
Ortogonalne dopełnienie jest dopełnieniem w sensie iloczynu skalarnego. Z twierdzenia o rzucie ortogonalnym wynika prawo ortomodularne: jeżeli to
a więc
Ten przykład jest podstawową motywacją dla pojęcia kraty ortomodularnej. W interpretacji kwantowej domknięte podprzestrzenie odpowiadają zdaniom pomiarowym, a rzuty ortogonalne odpowiadają obserwablom typu tak–nie.
Projekcje w algebrze von Neumanna Jeżeli jest algebrą von Neumanna, to zbiór jej projekcji tworzy kratę zupełną ortomodularną względem naturalnego porządku projekcji. Dopełnieniem projekcji jest Przykład ten uogólnia kratę rzutów ortogonalnych w przestrzeni Hilberta i jest ważny w operatorowym ujęciu mechaniki kwantowej.
Związki z innymi klasami krat Każda krata boolowska jest kratą ortomodularną, ale nie każda krata ortomodularna jest boolowska. Krata ortomodularna jest boolowska wtedy, gdy jest rozdzielna.