Category:Directed Preorderings
Jump to navigation
Jump to search
This category contains results about Directed Preorderings.
Let $\struct {S, \precsim}$ be a preordered set.
Then $\struct {S, \precsim}$ is a directed preordering if and only if every pair of elements of $S$ has an upper bound in $S$:
- $\forall x, y \in S: \exists z \in S: x \precsim z$ and $y \precsim z$
Pages in category "Directed Preorderings"
The following 2 pages are in this category, out of 2 total.