cartesian(L1,L2,R)
care construieste produsul cartezian al L1
cu L2
union(L1,L2,R)
care construieste reuniunea a doua multimi codificate ca liste.intersection(L1,L2,R)
diff(L1,L2,R)
care construieste diferenta pe multimi intre L1
si L2
pow(S,R)
care construieste power-set
-ul multimii S
.perm(S,R)
care genereaza toate permutarile lui S
.ar(K,S,R)
care genereaza toate aranjamentele de dimensiune K
cu elemente luate din S
comb(K,S,R)
care genereaza toate combinarile de dimensiune K
cu elemente luate din S