chickadee » typed-lists » set<=

set<= set0 set1procedure

subset relation.