From: Aleksei on
Will a vector sublattice (i.e. subspace closed under joins and meets (and also module)) generated by a finite set
be finite-dimensional?

If not in general, what if the original space was an order complete Banach space?