Table of Contents
union of all parts of a partition
letting P be partition({1,2},{3},{4,5,6}) find b : set of int(1..6) such that b = participants(P) ${1,2,3,4,5,6}
This result is getting all parts of the partition
See it demonstrated here.