Set-theoretic operations on sequences
