Hausdorff pspace

From Topospaces

Template:Pspace property

Definition

Symbol-free definition

A pseudotopological space is termed Hausdorff if every ultrafilter converges to at most one point.