Use the double negation law:
not($seq1[not(. = $seq2)])
Alternatively, and much more efficiently -- for sequence of nodes and node-identity based equality semantics: (O(N) vs O(N^2)):
count($seq1 | $seq2) = count($seq2)
II. XPath 2.0
For a sequence of nodes (node-identity - based equality semantics):
not($seq1 except $seq2)
and an efficient expression for sequence of values:
count(distinct-values(($seq1, $seq2))) eq count(distinct-values($seq2))