Total-order meaning

Attributive form of total order.

Total-order element.

noun
0
0
(set theory) A relation that is reflexive, antisymmetric, and (i.e., that is a partial order), and having the property that for any two elements of its set, one is related to the other.

If → is the material implication for a propositional logic , and has logical equivalence ↔ (an equivalence relation), then → is a total order for the quotient .

noun
0
0
Advertisement