Order Type - Notation

Notation

The order type of the rationals is usually denoted . If a set S has order type, the order type of the dual of S (the reversed order) is denoted .