test if a list of elements are all in the same part of the partition
letting P be partition({1,2},{3},{4,5,6})
find e : bool such that e = together({1,2},P) $true
This syntax is checking if {1,2} is in the part of the partition P
See it demonstrated here.