集合においてコンパクト性とはなにか?