Linearly ordered set

A pair of set and linear-order considered linearly ordered set