全序子集

totally ordered subset