Definition:Between

Definition

Let $\struct {S, \preceq}$ be an ordered set.

Let $a, b, c \in S$ such that $a \preceq b$ and $b \preceq c$.

Then $b$ is between $a$ and $c$.

Also see

• Definition:Strictly Between

Sources

• 1960: Paul R. Halmos: Naive Set Theory ... (previous) ... (next): $\S 14$: Order