totally ordered set

set paired with a total order

分类: