Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space