Published online by Cambridge University Press: 20 November 2018
Let S be a completely regular topological space. Let C(S) denote the set of bounded, real-valued, continuous functions on 5. It is well known that C(S) forms a distributive lattice under the ordinary pointwise joins and meets. For any distributive lattice L and any ideal I⊆L, a quasi-ordering of L can be defined as follows : f⊇g if, for all h ∈ L, f ∩ h ∈ I implies g ∩ h ∈ I. If equivalent elements under this quasi-ordering are identified, a homomorphic image of L is obtained.