Adjacent pair in a linear order
ID: adjacent-pair-in-a-linear-order
Two elements of a totally ordered set form an adjacent pair when no domain element lies strictly between them. Every pair of consecutive integers is adjacent, while a dense order has no adjacent pair. A gap in a subset of the real numbers matters here only through which points belong to the domain: are adjacent in .
New to topics? Read the docs here!