H. Gross established the use of modular lattices, with an adjunction and closure operators added, for the study of classification problems in infinite dimensional (and, in characteristic 2 also finite dimensional) orthogonal geometry. We shall review the abstract lattice theory involved, in particular the computation of subdirectly irreducible factors of finitely presented lattices.