Comparable¶
catdef.spad line 991 [edit on github]
The class of sets where ordering predicate provided by ComparableRepresentation gives mathematical linear order. That is, if x = y then for all z, smaller?(x, z) is equivalent to smaller?(y, z) and smaller?(z, x) is equivalent to smaller?(z, y). This category exist because declaring OrderedSet may have undesirable consequences, but we still want to use ordering predicate.
- coerce: % -> OutputForm
from CoercibleTo OutputForm
- latex: % -> String
from SetCategory