# Category:Approximating Relations

This category contains results about Approximating Relations.

Let $L = \left({S, \preceq}\right)$ be an ordered set.

Let $\mathcal R$ be a relation on $S$.

Then $\mathcal R$ is **approximating relation** on $S$ if and only if

- $\forall x \in S: x = \sup \left({x^{\mathcal R} }\right)$

where $x^{\mathcal R}$ denotes the $\mathcal R$-segment of $x$.

## Pages in category "Approximating Relations"

The following 10 pages are in this category, out of 10 total.