[semidet]is_ordset(@Term)True if Term is an ordered set. All predicates in this
library expect ordered sets as input arguments. Failing to fullfil this
assumption results in undefined behaviour. Typically, ordered sets are
created by predicates from this library, sort/2
or
setof/3.