chickadee » iset » iset>=

iset>= is ...procedure

#t iff the arguments are monotonically decreasing sets.