SubsetQ

WMA link


SubsetQ[$list_1$, $list_2$]

returns True if $list_2$ is a subset of $list_1$, and False otherwise.

The empty list is a subset of every list:

Every list is a subset of itself:

NotListQ
VectorQ