コンパクト性公理:等価条件