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
About | Tutorial | Tools | Clusters | Credits | API | Widgets
Legal: Terms of Service | Privacy Policy | GDPR Info