total order (English, noun)
expansion: total order (plural total orders)
Senses:
topics: mathematics
order-theory
sciences
set-theory
glosses: A partial order, ≤, (a binary relation that is reflexive, antisymmetric, and transitive) on some set S, such that any two elements of S are comparable (for any x, y ∈ S, either x ≤ y or y ≤ x).
Forms:
form: total orders
tags: plural