Partizione

Una partizione di un insieme è una collezione di insiemi disgiunti non vuoti, la cui unione è l'insieme in oggetto. Ogni partizione di un insieme è in corrispondenza biunivoca con una relazione di equivalenza sull'insieme in oggetto.

---

|