 In general, for non-pseudocompact spaces there are always maximal ideals "m" in C("X") such that the residue field C("X")/"m" is a (non-Archimedean) hyperreal field.The framework of non-standard analysis allows for the following alternative characterization of compactness