ID NAME QUALITY USERS ACC % DIFFICULTY C I

#linear-order

Linear order is a binary relation on some set which is transitive, antisymmetric, and total.

https://en.wikipedia.org/wiki/Total_order http://mathworld.wolfram.com/TotallyOrderedSet.html http://ncatlab.org/nlab/show/linear+order