The list of rules that form this disjoint set, all operating on the same set of variables.
The set of variables that are used by the rules in this disjoint set.