+ Add set partition.
+ Add subsetof function.