[EN] Let C∞ (X) denote the family of real-valued continuous functions which vanish at infinity in the sense that {x ∈ X : |f(x)| ≥ 1/n} is compact in X for all n ∈ N. It is not in general true that C∞ (X) is an ideal of ...