Etymology
Today it means: An orthomodular lattice in which a ∨ b = 1 for any a, b ≠ 0. Full definition →
From anti- + lattice.
Etymology from Wiktionary, CC BY-SA 4.0.