| |
| | Station Information - Total order |
 | | In mathematics, a total order or linear order on a set X is a binary relation that is reflexive, antisymmetric, transitive and total. |
 | | Because a binary relation that is reflexive, antisymmetric and transitive is called a partial order, a total order can also be defined as a partial order that is total. |
 | | Alternatively, one may define a totally ordered set as a particular kind of lattice, namely one in which we have {a v b, a ^ b} = {a, b} for all a, b. |
| www.stationinformation.com /encyclopedia/t/to/total_order.html (347 words) |
|