Partizione (teoria degli insiemi)

In matematica una partizione di un insieme X è una divisione di X in sottoinsiemi, detti parti, classi o blocchi della partizione, che "coprono" X senza sovrapporsi.

Più formalmente, una partizione di X è una collezione P di sottoinsiemi di X tali che:

1. i sottoinsiemi non sono vuoti;
2. l'unione di tutti i sottoinsiemi sia l'insieme X stesso (P è un ricoprimento di X);
3. dati due sottoinsiemi (distinti) qualsiasi di X, questi sono disgiunti.

Una partizione in due parti si dice bipartizione, una in tre parti tripartizione; con significato simile talora si usano termini come tetrapartizione o più in generale k-partizione.