 A topological space "X" is pseudocompact if and only if every maximal ideal in C("X") has residue field the real numbers.For completely regular spaces, this is equivalent to every maximal ideal being the kernel of an evaluation homomorphism.There are pseudocompact spaces that are not compact, though.