chickadee » traversal » subsetv?

subsetq? x yprocedure
subsetv? x yprocedure
subsete? x yprocedure
subset? p x yprocedure
subsetvt? x yprocedure