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!