Definition:Partition (Set Theory)