In this work we study an abstract formulation of a problem posed by J.M. Dunn, T.J. Hagge et al. about the inclusion of varieties generated by the modular ortholattice of subspaces of ℂn. We shall prove that, this abstract formulation is equivalent to the direct irreducibility for atomic complete modular ortholattices.