Let E be a real, locally convex, locally solid vector lattice of
(AM)-type. First, we prove an approximation theorem of
Bishop's type for a vector subspace of such a lattice. Second,
using this theorem, we obtain a generalization of Nachbin's
density theorem for weightedspaces.