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