partizione

partizione

partizione di un insieme X, è una famiglia di sottoinsiemi di X, a due a due disgiunti e aventi come unione tutto X. Se P₁ e P₂ sono due partizioni di X e ogni elemento di P₂ è contenuto in un elemento di P₁ si dice che P₂ è più fine di P₁ e si scrive P₁ ≤ P₂. È dunque possibile un confronto tra partizioni. La famiglia delle intersezioni di ogni elemento di una partizione P con ogni elemento di un’altra partizione Q è una partizione di X più fine di ambedue le partizioni di partenza: essa è detta partizione prodotto delle due partizioni date.