UnderlyingSetPartition

The set partition with the same blocks, the order of the blocks forgotten.

FindStatMp00285via SetComposition↗

UnderlyingSetPartition(SetComposition)The set partition with the same blocks, the order of the blocks forgotten.

Typed signatures

Type	Package	Applies
(set_composition) -> set_partition	combinatorics	always

Domain: Combinatorial maps

Details

• Takes a SetComposition and returns a SetPartition — a typed map, so a wrong carrier is a type error rather than a wrong answer.
• FindStat's Mp00285. Lossy: each set partition has as many orderings as it has blocks, factorially.

Examples

Basic #

the set composition $\{2,4\} \mid \{1\} \mid \{3\}$

live ↗

In$\mathrm{UnderlyingSetPartition}({\operatorname{SetComposition}}([[2, 4], [1], [3]]))$Out${\operatorname{SetPartition}}([[1], [2, 4], [3]])$

About

Examples	1
Crosswalk	FindStat