chickadee
»
arrays
»
set<=
Identifier search
set<=
set0
set1
procedure
checks, if the set set0 contained in the set set1.