Axiom:Filter Axioms

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

Let $\FF \subseteq S$.

$\FF$ is said to satisfy the filter axioms $\FF$ satisfies the following conditions: