Pseudocompact space

Summary

A pseudocompact space is a topological space on which every continuous real-valued function is bounded. It keeps one of the most used consequences of compactness, the boundedness of continuous functions, without asking for finite subcovers. Every compact space and every countably compact space is pseudocompact. For metric spaces the notion gives nothing new: a metric space is pseudocompact exactly when it is compact.