Les ensembles considérés dans cette section sont finis mais on introduit dans le cas général (ensembles quelconques) les notions suivantes : couple, triplet, k-uplet (ou k-liste) ; produit cartésien de deux, trois, k ensembles ; ensemble Ak des k-uplets d’éléments d’un ensemble A