Chapter 12: partition

{Ai}iI={Ai|iI} is a partition of a set A{iI(Ai)A=iIAii,jI(ijAiAj=)

https://proofwiki.org/wiki/Definition:Set_Partition