chickadee » typed-lists » set>=

set>= set0 set1procedure

subset relation.