A characterizton o the interval function of a finite connected graph is extended to that of infinite connected graph. The proof is new.