pseudocompact

{\displaystyle \{x_{n_{i}}\}_{i\in \mathbb {N} }} は X 上のいずれかの点に収束する事を指す。点列コンパクト性の事を点列に対するボルツァーノ・ワイエルシュトラス性とも言う。 擬コンパクト pseudocompact Xから実数体への連続関数 f が必ず有界となる