Realcompact space
This article defines a property of topological spaces: a property that can be evaluated to true/false for any topological space|View a complete list of properties of topological spaces
This is a variation of compactness. View other variations of compactness
Definition
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.