SetPartitionQ[sp,s]

sp が集合 s の集合分割であるかどうかを判別する．

SetPartitionQ[sp]

sp が互いに素な集合の集合であるかどうかを検証する．