Set Theory

Intersection
Intersection (X,Y)

Returns a set theoretic intersection of X and Y (X and Y are vectors pretending to be sets).

IsIn
IsIn (x,X)

Returns true if the element x is in the set X (where X is a vector pretending to be a set).

IsSubset
IsSubset (X, Y)

Returns true if X is a subset of Y (X and Y are vectors pretending to be sets).

MakeSet
MakeSet (X)

Returns a vector where every element of X appears only once.

SetMinus
SetMinus (X,Y)

Returns a set theoretic difference X-Y (X and Y are vectors pretending to be sets).

Union
Union (X,Y)

Returns a set theoretic union of X and Y (X and Y are vectors pretending to be sets).