Characterization of compact subset of intuitionistic