Compact pspace

From Topospaces

Template:Pspace property

Definition

Symbol-free definition

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