스톤-체흐 콤팩트화 - 다른 언어