Definition: Set Partition

Let $X$ be a non-empty set. A partition of $X$ is a set $P$ of non-empty subsets of $X,$ which are mutually disjoint.

Definitions: 1
Problems: 2
Solutions: 3


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

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