Realcompact space
From Wikipedia, the free encyclopedia
In mathematics, in the field of topology, a topological space is said to be realcompact if it can be embedded homeomorphically as a closed subset in some Cartesian power of the reals, with the product topology.