Intersection (X,Y)
Returnerar det mängdteoretiska snittet av X och Y (X och Y är vektorer som föreställer att vara mängder).
IsIn (x,X)
Returnerar true
(sant) om elementet x är i mängden X (där X är en vektor som föreställer att vara en mängd).
IsSubset (X, Y)
Returnerar true
(sant) om X är en delmängd av Y (X och Y är vektorer som föreställer att vara mängder).
MakeSet (X)
Returnerar en mängd där varje element i X förekommer endast en gång.
SetMinus (X,Y)
Returnerar den mängdteoretiska differensen X-Y (X och Y är vektorer som föreställer att vara mängder).
Union (X,Y)
Returnerar den mängdteoretiska unionen av X och Y (X och Y är vektorer som föreställer att vara mängder).