Combinatorica`
Combinatorica`

CoarserSetPartitionQ

CoarserSetPartitionQ[a,b]

yields True if set partition b is coarser than set partition a; that is, every block in a is contained in some block in b.

Details and Options