chickadee » iset » iset<=

iset<= is ...procedure

#t iff the arguments are monotonically increasing sets.