Definition: Set Partition
Let $X$ be a nonempty set. A partition of $X$ is a set $P$ of nonempty subsets of $X,$ which are mutually disjoint.
Mentioned in:
Definitions: 1
Problems: 2
Solutions: 3
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Ebbinghaus, H.D.: "Einführung in die Mengenlehre", BI Wisschenschaftsverlag, 1994, 3th Edition