A space is Hausdorff compact if it is compact and Hausdorff. The Hausdorff condition requires that every pair of distinct points can be separated by disjoint open sets, which ensures some nice separation properties. For example, any compact metric space is Hausdorff compact, and the Tychonoff theorem states that the product of any family of Hausdorff compact spaces is again Hausdorff compact.