Definition:Strictly Between
Jump to navigation
Jump to search
Definition
Let $\struct {S, \preceq}$ be an ordered set.
Let $a, b, c \in S$ such that $a \prec b$ and $b \prec c$.
That is, such that:
- $a \preceq b$ and $a \ne b$
- $b \preceq c$ and $b \ne c$
Then $b$ is strictly between $a$ and $c$.
Also see
Sources
- 1960: Paul R. Halmos: Naive Set Theory ... (previous) ... (next): $\S 14$: Order