s1:{S, A, N, A, N, T, O, N, I, O};
s2:{S, A, N };
s3: {A, N, T, O, N, I, O};
s4:{};

adjoin(C,s1);

cardinality(s1);

delete(I,s1);

intersect(s1,s2);

intersect(s1,s2,s3);

union(s1,s2);

union(s1,s2,s3);

disjointp(s1,s2);

elementp(I,s1);

emptyp(s4);

powerset(s3);

adjoin({a,b,c},s1);

4

t:[Eachan,Eamnonn,Eamon,Wade,Wagner,Wahib,Wahnond,Wain,Xan,Xanthus,Xan,Cadman,Cadmus,Cadogan,Caedmon];

first(t);

second(t);

last(t);

append(t,[Vail,Vairaja,Laertes]);

delete(Wade,t);

sort(t);

 load("vect");

A:[1,2,3];

B:[3,4,6];

express(A~B);

C:[3,-3,1];

D:[4,9,2];

express(C~D);