Consider a nonempty set $S$ with binary relations $\preccurlyeq$ and $\sim$ defined on it such that:
- $(S, \preccurlyeq)$ is a total ordering.
- $(S, \sim)$ is reflexive and symmetric.
- For all $x,y,z\in S$, if $x\preccurlyeq y\preccurlyeq z$ and $x\sim z$, then $x\sim y$ and $y\sim z$.
Examples of such $x\sim y$ on $\mathbb{R}$ include $|x-y|\leq 5$ and $\lfloor x\rfloor = \lfloor y\rfloor$.
Does either the relation $\sim$ or property 3 have a name?