Compact Hausdorff pspace

Definition

Symbol-free definition

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

Relation with other properties

Weaker properties

• Compact pspace
• Hausdorff pspace