Compact Hausdorff pspace

Symbol-free definition
A pseudotopological space is termed compact Hausdorff if every ultrafilter converges to exactly one point.

Weaker properties

 * Stronger than::Compact pspace
 * Stronger than::Hausdorff pspace