C(X) as a real ℓ-group

The lattice C(X) of all real-valued continuous functions on a topological space X has been characterized among various structures, for instance as an f-ring or as a Φ-algebra. In this paper, we characterize C(X) as a real ℓ-group (see Theorem 5.1).