totally ordered set (Q41143704)
set paired with a total order
Language:
other details