Category:Directed Orderings
Jump to navigation
Jump to search
This category contains results about Directed Orderings.
Let $\struct {S, \preccurlyeq}$ be an ordered set.
Let $\struct {S, \preccurlyeq}$ be such that:
- $\forall x, y \in S: \exists z \in S: x \preccurlyeq z$ and $y \preccurlyeq z$
That is, such that every pair of elements of $S$ has an upper bound in $S$.
Then $\preccurlyeq$ is a directed ordering.
Pages in category "Directed Orderings"
The following 4 pages are in this category, out of 4 total.