← equivalence with hash ideal • library • elements • order collection →
Order defined by a relation that is transitive, antisymmetric, and total.
concept order[contravariant value element]
subtypes function[sign, element, element]
← equivalence with hash ideal • library • elements • order collection →