Category:Completely Prime Filters

This category contains results about Completely Prime Filters.
Definitions specific to this category can be found in Definitions/Completely Prime Filters.

Let $\struct {S, \preceq}$ be an ordered set.

Let $F$ be a proper filter in $\struct{S, \preceq}$.

$F$ is a completely prime filter if and only if:

$\forall J \subseteq S: \paren{\sup J \in F \implies F \cap J \ne \O }$