Components Used in the Stone–Weierstrass Theorem

Readers are certainly familiar with the celebrated Stone–Weierstrass theorem. The following lemma is used in [1, p. 163] as Step 2 of its classical proof:Lemma. Let V be an algebra of real-valued b...