Comparable

catdef.spad line 1094 [edit on github]

The class of sets equipped with possibly unnatural linear order (needed for technical reasons).

=: (%, %) -> Boolean

from BasicType

~=: (%, %) -> Boolean

from BasicType

coerce: % -> OutputForm

from CoercibleTo OutputForm

latex: % -> String

from SetCategory

smaller?: (%, %) -> Boolean

smaller?(x, y) is a strict total ordering on the elements of the set.

BasicType

CoercibleTo OutputForm

SetCategory