Please enable javascript to use dictionary! Howto enable javascript?
total order▼(partial order that applies an order to any two elements)noun
↑