Intersection (X,Y)
Επιστρέφει τη θεωρητική τομή συνόλων των Χ και Υ (Χ και Υ είναι διανύσματα που προσποιούνται ότι είναι σύνολα).
IsIn (x,X)
Επιστρέφει true
αν το στοιχείο x είναι στο σύνολο Χ (όπου Χ είναι ένα διάνυσμα που προσποιείται ότι είναι σύνολο).
IsSubset (X, Y)
Επιστρέφει true
αν το Χ είναι ένα υποσύνολο του Υ (Χ και Υ είναι διανύσματα που προσποιούνται ότι είναι σύνολα).
MakeSet (X)
Επιστρέφει ένα διάνυσμα όπου κάθε στοιχείο του Χ εμφανίζεται μόνο μια φορά.
SetMinus (X,Y)
Επιστρέφει τη θεωρητική διαφορά συνόλων των Χ-Υ (Χ και Υ είναι διανύσματα που προσποιούνται ότι είναι σύνολα).
Union (X,Y)
Επιστρέφει ένα μια θεωρητική ένωση συνόλου των Χ και Υ (Χ και Υ είναι διανύσματα που προσποιούνται ότι είναι σύνολα).