Hausdorff pspace

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