例えば距離空間においては点列コンパクトとコンパクトが同値で
有ることが直感で分かれば十分才能アリと思う。