Lattices of subspaces of vector spaces with orthogonality

It is well known that the lattice of subspaces of a vector space over a field is modular. We investigate under which conditions this lattice is orthocomplemented with respect to the orthogonality operation. Using this operation, we define closed subspaces of a vector space and study the lattice of these subspaces. In particular, we investigate when this lattice is modular or orthocomplemented. Finally, we introduce splitting subspaces as special closed subspaces and we prove that the poset of splitting subspaces and the poset of projections are isomorphic orthomodular posets. The vector spaces under consideration are of arbitrary dimension and over arbitrary fields.