A Stone–Weierstrass theorem for Banach function spaces satisfying a certain separation property

We consider a strong lattice property for a Banach function space B on a compact Hausdorff space, which gives a general Stone–Weierstrass theorem for B. We also study the relation of this theorem and its proof to a certain decomposition of an associated compactification, and to another lattice-like property.