Category:Approximating Relations
Jump to navigation
Jump to search
This category contains results about Approximating Relations.
Let $L = \struct {S, \preceq}$ be an ordered set.
Let $\RR$ be a relation on $S$.
Then $\RR$ is an approximating relation on $S$ if and only if
- $\forall x \in S: x = \map \sup {x^\RR}$
where $x^\RR$ denotes the $\RR$-segment of $x$.
Pages in category "Approximating Relations"
The following 10 pages are in this category, out of 10 total.