Ponder...PartitionA partition of is a collection of pairwise disjoint subsets whose union is . Definition 2.33 (Partition) Given a set , a partition of is a collection of pairwise disjoint subsets whose union is . RelatedEquivalence ClassEquivalence Classes Form a PartitionStated inDefinition 2.33 (Partition)§2.3 Relations
