Compact pspace

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