Realcompact space

Symbol-free definition
A topological space is termed realcompact if it can be realized as a closed subset of some cardinal power of the real line.

Stronger properties

 * Compact space