가산 콤팩트 공간 - 다른 언어