On canonical bases of spaces with a well ordered basis and a distinguished family of subspaces

Let $V$ be a vector space with a well ordered basis and $\mathfrak I$ a family of subspaces of $V$ closed under intersections. An analogue of Groebner basis is defined for subspaces from $\mathfrak I$. It is shown that in Noetherian case such basis always exists and is unique.