Vocabulary
sets

Inputs
set1a set
set2a set


Outputs
?a boolean


Word description
Tests if every element of set1 is contained in set2.

Notes
If set1 is empty, the result is always t.

Definition

GENERIC: subset? ( set1 set2 -- ? )


Methods