Random partition (source code)

= Random partition
{wiki}

A random partition is a probability distribution on partitions of a finite or countable set.