Considere um conjunto não vazio com um número finito de elementos. Dizemos que é uma partição de se as seguintes condições são satisfeitas:
I. ,
II. , se , para
III.
Dizemos ainda que é uma partição de ordem se , . Supondo que , determine:
a) As ordens possíveis para uma partição de
b) O número de partições de que têm ordem