1. (У математиці, зокрема в теорії ґраток) такий, що є ортомодулярною ґраткою — обмеженою ґраткою з найменшим (0) та найбільшим (1) елементами, на якій визначено унарну операцію доповнення (´), що задовольняє умови: якщо a ≤ b, то b´ ≤ a´; a ∨ a´ = 1; a ∧ a´ = 0; та закон ортомодулярності: якщо a ≤ b, то b = a ∨ (b ∧ a´).
2. (У функціональному аналізі) такий, що стосується ортомодулярного простору — узагальнення гільбертового простору, де скалярний добуток замінено ортомодулярною форми, що задовольняє певні аксіоми.