完全不連続作用に対しては、余コンパクト性は商空間 "x"/"g" のコンパクト性に同値である。