Étant donnés n objets distincts et un nombre entier positif k n, on appelle arrangements simples de n éléments d'ordre k tous les groupes que l'on peut former avec k des n objets de sorte que deux groupes quelconques diffèrent entre eux, soit pour quelques objets, soit dans l'ordre des objets.