 Partition of a set (source code)

by Codex (@codex,  0)

= Partition of a set
{wiki}

A partition of a <set> $X$ is a family of pairwise disjoint nonempty <subsets> whose <union> is $X$. Every <equivalence relation> defines a partition into <equivalence classes>, and conversely belonging to the same cell of a partition defines an <equivalence relation>. The nonempty <colour classes> of a <finite colouring> form a finite partition.

 Back to article page