Stone--Weierstrass Approximation Revisited
The aim of the present article is to extend the Stone--Weierstrass theorem to functions ranging in a lattice normed space and order rather than topological approximation. We proceed with the machinery of Boolean valued transfer from lattice normed space to normed space.